residues-elab
by Stefan Monnier 13 Nov '24

13 Nov '24

02 May '24
Propositional truncation
by Stefan Monnier 25 Apr '24

25 Apr '24