Def CategoryTheory.Over.chosenFiniteProducts

Modification history

2025-05-07 21:03

Mathlib/CategoryTheory/ChosenFiniteProducts/Over.lean

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

Deleted CategoryTheory.Over.chosenFiniteProducts View on Github →

2025-04-15 13:58

Mathlib/CategoryTheory/ChosenFiniteProducts/Over.lean

feat(CategoryTheory): `ChosenFiniteProducts (Over X)` (#21399) …

Added CategoryTheory.Over.chosenFiniteProducts View on Github →