Theorem t2Quotient.compatible

Modification history