Def Mon.filtered_colimits.colimit_desc

Modification history