Theorem DiscreteQuotient.ofLe_refl_apply

Modification history