Theorem CategoryTheory.Limits.inl_inl_pushoutLeftPushoutInrIso_hom

Modification history