Изменения

Перейти к: навигация, поиск

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

26 байт добавлено, 23:00, 31 мая 2012
м
Нет описания правки
{{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}} Исправить в доказательстве второй леммы нагромождение равенств. Сделать нормальное словесное описание.
1302
правки

Навигация