Theorem CategoryTheory.Limits.pullbackZeroZeroIso_inv_fst

Modification history