summaryrefslogtreecommitdiff
path: root/theorem.tex
AgeCommit message (Expand)Author
2024-10-05Correction mamanJan Aalmoes
2024-09-21fin introbrouillonJan Aalmoes
2024-09-04traduction classification finiJan Aalmoes
2024-08-27debut du background sur ZFJan Aalmoes
2024-01-07classification finie en anglaisJan Aalmoes