Theorem CategoryTheory.Limits.PreservesFiniteProducts.of_exponentialIdeal

Modification history

2025-04-24 17:05
Mathlib/CategoryTheory/Closed/Ideal.lean
chore: fix recently introduced name (#24340) …
Added CategoryTheory.Limits.PreservesFiniteProducts.of_exponentialIdealView on Github →