Def CategoryTheory.Limits.IsLimit.pullbackConeEquivBinaryFanInverse

Modification history