Theorem CategoryTheory.Limits.pullbackConeOfRightIso_π_app_none

Modification history