Theorem CategoryTheory.Limits.PullbackCone.mk_π_app_left

Modification history