Theorem RingCat.Colimits.cocone_naturality

Modification history