Def CategoryTheory.powZero

Modification history

2025-05-07 21:03

Mathlib/CategoryTheory/Closed/Cartesian.lean

refactor(CategoryTheory): Make `ChosenFiniteProducts` extend `MonoidalCategory` (#24399) …

Modified CategoryTheory.powZero View on Github →

2025-03-13 11:07

Mathlib/CategoryTheory/Closed/Cartesian.lean

chore(CategoryTheory/Closed/Cartesian): make cartesian closed categories computable (#22896) …

Modified CategoryTheory.powZero View on Github →

2023-06-09 02:13

Mathlib/CategoryTheory/Closed/Cartesian.lean

feat: port CategoryTheory.Closed.Cartesian (#4829)

Added CategoryTheory.powZero View on Github →