Theorem CategoryTheory.Limits.PullbackCone.isIso_snd_of_mono_of_isLimit

Modification history