Mathlib Changelog
v4
Changelog
About
Github
Theorem
Set.EqOn.iteratedDeriv_of_isOpen
Modification history
2024-10-20 13:19
Mathlib/Analysis/Calculus/IteratedDeriv/Lemmas.lean
feat(Analysis/Complex/Positivity): new file (#17862) …
Added
Set.EqOn.iteratedDeriv_of_isOpen
View on Github →