Theorem T2Quotient.surjective_mk

Modification history