Theorem CategoryTheory.Sheaf.chosenFiniteProducts_fst_val

Modification history

2025-05-15 18:47

Mathlib/CategoryTheory/Sites/ChosenFiniteProducts.lean

chore: rename `ChosenFiniteProducts` to `CartesianMonoidalCategory` (#24390) …

Deleted CategoryTheory.Sheaf.chosenFiniteProducts_fst_val View on Github →

2024-11-07 20:41

Mathlib/CategoryTheory/Sites/ChosenFiniteProducts.lean

feat(CategoryTheory/Sites): chosen finite products on sheaves (#18633) …

Added CategoryTheory.Sheaf.chosenFiniteProducts_fst_val View on Github →