Theorem CategoryTheory.Limits.PushoutCocone.ι_app_left

Modification history