Theorem DiscreteQuotient.toSetoid_injective

Modification history