Def CategoryTheory.Limits.IsLimit.binaryFanSwap

Modification history

2026-08-20 12:19

Mathlib/CategoryTheory/Limits/Shapes/BinaryProducts.lean

refactor(CategoryTheory/Limits/Shapes): split up BinaryProducts.lean (#42917) …

Modified CategoryTheory.Limits.IsLimit.binaryFanSwap View on Github →

2025-05-04 19:39

Mathlib/CategoryTheory/Limits/Shapes/BinaryProducts.lean

chore: move `BinaryFan.swap` earlier (#24592) …

Added CategoryTheory.Limits.IsLimit.binaryFanSwap View on Github →