Обсуждение:0-1 принцип

☑ Черточки вместо тире, пропущенные пробелы и знаки препинания.

☑ " n, равном уже 10," [math]\to\ \ n = 10[/math]

☑ Все n, A, B, b занести в TeX. UPD в первой стоке

☑ "f из A в B " -> "f : A -> B", как в формулировке Леммы

☑ Исправить в доказательстве второй леммы нагромождение равенств. Сделать нормальное словесное описание.

☑ Оформить раздел "Источники" (Требования - Викификация - пункт 9)

☑ Добавить категории (Требования - Викификация - пункт 8)