Propositional truncation
by Stefan Monnier 25 Avr '24

25 Avr '24