Def CategoryTheory.Limits.pullbackConeEquivBinaryFan

Modification history