Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | corollary2.2.1.ggb | 6605 | logplain |
-rw-r--r-- | corollary2.2.1.svg | 21691 | logplain |
-rw-r--r-- | corollary2.2.2.ggb | 6321 | logplain |
-rw-r--r-- | corollary2.2.2.svg | 19522 | logplain |
-rw-r--r-- | corollary2.2.ggb | 6705 | logplain |
-rw-r--r-- | corollary2.3.1.ggb | 6163 | logplain |
-rw-r--r-- | corollary2.3.1.svg | 21830 | logplain |
-rw-r--r-- | corollary2.3.2.ggb | 6395 | logplain |
-rw-r--r-- | corollary2.3.2.svg | 23983 | logplain |
-rw-r--r-- | corollary2.3.3.ggb | 6474 | logplain |
-rw-r--r-- | corollary2.3.3.svg | 26781 | logplain |
-rw-r--r-- | index.md | 15473 | logplain |
-rw-r--r-- | lemma1.ggb | 7274 | logplain |
-rw-r--r-- | lemma1.svg | 30772 | logplain |
-rw-r--r-- | lemma3.1.ggb | 6312 | logplain |
-rw-r--r-- | lemma3.1.svg | 38548 | logplain |
-rw-r--r-- | lemma3.2.ggb | 7158 | logplain |
-rw-r--r-- | lemma3.2.svg | 39713 | logplain |
-rw-r--r-- | lemma3.ggb | 7085 | logplain |
-rw-r--r-- | lemma4.ggb | 6863 | logplain |
-rw-r--r-- | lemma4.svg | 38813 | logplain |