Theorem CategoryTheory.Limits.pushoutCoconeOfLeftIso_ι_app_right

Modification history