Theorem CategoryTheory.Limits.PreservesFiniteProducts._of_exponentialIdeal

Modification history

2025-04-24 17:05
Mathlib/CategoryTheory/Closed/Ideal.lean
chore: fix recently introduced name (#24340) …
Deleted CategoryTheory.Limits.PreservesFiniteProducts._of_exponentialIdealView on Github →
2025-04-23 05:31
Mathlib/CategoryTheory/Closed/Ideal.lean
chore: spell results using `PreservesFiniteProducts` (#24293) …
Added CategoryTheory.Limits.PreservesFiniteProducts._of_exponentialIdealView on Github →