Def Module.filtered_colimits.colimit_desc

Modification history