Inductive RingCat.Colimits.Prequotient

Modification history