Def CategoryTheory.Limits.pullbackConeOfRightIso

Modification history