| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | - | - | ||||
| _index.md | D | 03-May-2024 | 15 KiB | 367 | 283 | |
| corollary2.2.1.svg | D | 03-May-2024 | 21.2 KiB | 234 | 232 | |
| corollary2.2.2.svg | D | 03-May-2024 | 19.1 KiB | 214 | 212 | |
| corollary2.3.1.svg | D | 03-May-2024 | 21.3 KiB | 214 | 212 | |
| corollary2.3.2.svg | D | 03-May-2024 | 23.4 KiB | 234 | 232 | |
| corollary2.3.3.svg | D | 03-May-2024 | 26.2 KiB | 254 | 252 | |
| lemma1.svg | D | 03-May-2024 | 30.1 KiB | 299 | 297 | |
| lemma3.1.svg | D | 03-May-2024 | 37.6 KiB | 329 | 327 | |
| lemma3.2.svg | D | 03-May-2024 | 38.8 KiB | 329 | 327 | |
| lemma4.svg | D | 03-May-2024 | 37.9 KiB | 339 | 337 |
