theorem proving Мат. доказательство теоремы Источник: Полный англо-русский словарь на Gufo.me Предложить изменения theorem os sines theorem scheme
