Def Mon.colimits.cocone_fun

Modification history