Theorem DiscreteQuotient.trans

Modification history