Def Module.colimits.colimit_setoid

Modification history