Изменения

Что за бред вообще с последней программой? Говорится про перечислитель, написан полуразрешитель.<br>

А ещё меня глобально не устраивают эти фигурные скобки в каждой теореме. [[Участник:Leugenea|Евгений Лукьянец]]