Theorem CategoryTheory.Limits.pullbackZeroZeroIso_inv_snd

Modification history