Inductive MonCat.Colimits.Relation

Modification history