Theorem CategoryTheory.Limits.PullbackCone.snd_colimit_cocone

Modification history