Inductive MonCat.Colimits.Prequotient

Modification history