Theorem DiscreteQuotient.ofLe_comp_map

Modification history