Theorem DiscreteQuotient.map_comp_proj

Modification history