Theorem Quotient.mk''_surjective

Modification history