Theorem ModuleCat.Colimits.cocone_naturality_components

Modification history