Inductive ModuleCat.Colimits.Prequotient

Modification history