Theorem DiscreteQuotient.ofLe_comp_proj

Modification history