Theorem CategoryTheory.Limits.pushoutCoconeOfRightIso_ι_app_none

Modification history