Def CategoryTheory.Limits.BinaryFan.associatorOfLimitCone

Modification history