Def DiscreteQuotient.comap

Modification history