Theorem RingCat.Colimits.cocone_naturality_components

Modification history