История
18 июня 2020
13 июня 2020
→Теорема о нижней оценке на число элементов в схеме
+59
→Возвращение к теореме о нижней оценке
+6
→Оценка на количество линейных программ над \{\downarrow\} длины r
+127
10 июня 2020
→Возвращение к теореме о нижней оценке
м-3
→Возвращение к теореме о нижней оценке
м-3
→Оценка на количество линейных программ над \{\downarrow\} длины r
+1
→Оценка на количество линейных программ над \{\downarrow\}(стрелка Пирса является базисом) длины r
+84
Нет описания правки
+771
7 июня 2020
→Оценка на количество линейных программ над \{\downarrow\} длины r
м-1
→Оценка на количество линейных программ над \{\downarrow\} длины r
+49
→Оценка на количество линейных программ над \{\downarrow\} длины r
+7
→Оценка на количество линейных программ над \{\downarrow\} длины r
-117
→Оценка на количество линейных программ над \{\downarrow\} длины r
+416
→Оценка на количество линейных программ над \{\downarrow\} длины r
-26
→Теорема о нижней оценке на число элементов в схеме
+1360
→Теорема о нижней оценке на число элементов в схеме
+1923
