Def DiscreteQuotient.map

Modification history