Propositional truncation
by Stefan Monnier 25 Apr '24

25 Apr '24