Theorem CategoryTheory.Limits.inl_pushoutZeroZeroIso_inv

Modification history