Theorem CategoryTheory.Limits.PushoutCocone.mk_ι_app_zero

Modification history