Inductive CommRingCat.Colimits.Relation

Modification history