Theorem CategoryTheory.Limits.PushoutCocone.mk_ι_app_left

Modification history