Theorem CategoryTheory.Limits.pushoutCoconeOfRightIso_ι_app_left

Modification history