Theorem DiscreteQuotient.comap_comp

Modification history