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