Theorem CategoryTheory.Limits.BinaryFan.ext_inv_hom

Modification history

2026-10-08 18:10

Mathlib/CategoryTheory/Limits/Shapes/BinaryProducts/BinaryFan.lean

chore(CategoryTheory/Limits/Shapes/BinaryProducts): use `to_dual` (#43571) …

Added CategoryTheory.Limits.BinaryFan.ext_inv_hom View on Github →