Def CommRing.colimits.colimit_type

Modification history