| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | - | - | ||||
| corollary2.2.1.ggb | D | 03-May-2024 | 6.5 KiB | |||
| corollary2.2.1.svg | D | 03-May-2024 | 21.2 KiB | 234 | 232 | |
| corollary2.2.2.ggb | D | 03-May-2024 | 6.2 KiB | |||
| corollary2.2.2.svg | D | 03-May-2024 | 19.1 KiB | 214 | 212 | |
| corollary2.2.ggb | D | 03-May-2024 | 6.5 KiB | |||
| corollary2.3.1.ggb | D | 03-May-2024 | 6 KiB | |||
| corollary2.3.1.svg | D | 03-May-2024 | 21.3 KiB | 214 | 212 | |
| corollary2.3.2.ggb | D | 03-May-2024 | 6.2 KiB | |||
| corollary2.3.2.svg | D | 03-May-2024 | 23.4 KiB | 234 | 232 | |
| corollary2.3.3.ggb | D | 03-May-2024 | 6.3 KiB | |||
| corollary2.3.3.svg | D | 03-May-2024 | 26.2 KiB | 254 | 252 | |
| index.md | D | 03-May-2024 | 15.1 KiB | 325 | 242 | |
| lemma1.ggb | D | 03-May-2024 | 7.1 KiB | |||
| lemma1.svg | D | 03-May-2024 | 30.1 KiB | 299 | 297 | |
| lemma3.1.ggb | D | 03-May-2024 | 6.2 KiB | |||
| lemma3.1.svg | D | 03-May-2024 | 37.6 KiB | 329 | 327 | |
| lemma3.2.ggb | D | 03-May-2024 | 7 KiB | |||
| lemma3.2.svg | D | 03-May-2024 | 38.8 KiB | 329 | 327 | |
| lemma3.ggb | D | 03-May-2024 | 6.9 KiB | |||
| lemma4.ggb | D | 03-May-2024 | 6.7 KiB | |||
| lemma4.svg | D | 03-May-2024 | 37.9 KiB | 339 | 337 |
