Республиканская предметная олимпиада по математике среди обучающихся профессиональных образовательных организаций Республики Мордовия 2023