Theorem CategoryTheory.Limits.pullbackConeOfLeftIso_snd

Modification history