Theorem DiscreteQuotient.leComap_id

Modification history