Theorem t2Quotient.surjective_mk

Modification history