Theorem CategoryTheory.Limits.PullbackCone.isIso_fst_of_mono_of_isLimit

Modification history