Theorem CategoryTheory.Limits.PullbackCone.fst_eq_snd_of_mono_eq

Modification history