Def CategoryTheory.binaryProductExponentiable
Modification history
2025-05-15 18:47
Mathlib/CategoryTheory/Closed/Cartesian.lean
chore: rename `ChosenFiniteProducts` to `CartesianMonoidalCategory` (#24390) …
Modified CategoryTheory.binaryProductExponentiableView on Github →