Def CommRing.colimits.desc_fun

Modification history