Def Mon.colimits.colimit_setoid

Modification history