Theorem CategoryTheory.preservesFiniteProducts_of_exponentialIdeal
Modification history
2025-04-23 05:31
Mathlib/CategoryTheory/Closed/Ideal.lean
chore: spell results using `PreservesFiniteProducts` (#24293) …
Deleted CategoryTheory.preservesFiniteProducts_of_exponentialIdealView on Github →