1302
правки
Изменения
м
Нет описания правки
{{tick | ticked = 1}} " n, равном уже 10," <tex>\to\ \ n = 10</tex>
{{tick| ticked = 1}} Все n, A, B, b занести в TeX. '''UPD''' в первой стоке: {{tick| ticked = 1}} "f из A в B " -> "f : A -> B", как в формулировке Леммы
{{tick | ticked = 1}} Исправить в доказательстве второй леммы нагромождение равенств. Сделать нормальное словесное описание.
