| .. | | 07-May-2022 | - |
| PredicateImplicationsForAbelianCategories.tex | H A D | 03-May-2022 | 160 | 5 | 5 |
| PredicateImplicationsForAdditiveCategories.tex | H A D | 03-May-2022 | 234 | 12 | 10 |
| PredicateImplicationsForGeneralCategories.tex | H A D | 03-May-2022 | 1.6 KiB | 72 | 61 |
| PropositionsForAbCategories.tex | H A D | 03-May-2022 | 2.8 KiB | 108 | 90 |
| PropositionsForAbelianCategories.tex | H A D | 03-May-2022 | 1.9 KiB | 72 | 62 |
| PropositionsForAdditiveCategories.tex | H A D | 03-May-2022 | 383 | 13 | 11 |
| PropositionsForGeneralCategories.tex | H A D | 03-May-2022 | 3.3 KiB | 133 | 113 |
| RelationsForGeneralCategories.tex | H A D | 03-May-2022 | 2.8 KiB | 80 | 70 |