Def CommRingCat.Colimits.coconeMorphism

Modification history