Theorem DiscreteQuotient.ofLE_refl_apply

Modification history