Def CategoryTheory.Limits.pullbackConeOfRightIsoIsLimit

Modification history