Theorem CategoryTheory.Limits.pullbackZeroZeroIso_hom_snd

Modification history