Вклад участника
8 марта 2010
Теорема Ладнера
Иллюстрация
м+1
Теорема Ладнера
Доказательство: исправлено немного ошибок
+159
Теорема Ладнера
Иллюстрация: исправлено еще немного ошибок
+19
Теорема Ладнера
Иллюстрация: исправлено немного ошибок
+1
7 марта 2010
Теорема Ладнера
Доказательство: совсем почти закончено
+1972
Теорема Ладнера
Доказательство: почти закончено
+2717
6 марта 2010
Теорема Ладнера
Доказательство: is even -> \vdots 2
м+4
Теорема Ладнера
Доказательство: еще чуть-чуть доказательства
+1913
5 марта 2010
Теорема Ладнера
Доказательство: добавил два утверждения и условия на A
+1728
Теорема Ладнера
Иллюстрация: исправлена пара опечаток
Теорема Ладнера
Иллюстрация: дописана до конца
+605
Теорема Ладнера
Иллюстрация
м-3
Теорема Ладнера
Иллюстрация: \phi -> \varphi
м-22
