Theorem CategoryTheory.Limits.PullbackCone.fst_colimit_cocone

Modification history