Def Ring.filtered_colimits.colimit

Modification history