Theorem derivWithin_tsum

Modification history

2025-11-28 17:46
Mathlib/Topology/Algebra/InfiniteSum/TsumUniformlyOn.lean
chore: rename `E` to `𝕜` in file `TsumUniformlyOn` (#32216) …
Modified derivWithin_tsumView on Github →
2025-08-11 19:22
Mathlib/Topology/Algebra/InfiniteSum/TsumUniformlyOn.lean
Iterated derivatives of tsum's within some open set. (#26016) …
Added derivWithin_tsumView on Github →