Commit 2024-07-17 13:17 09d052b2

View on Github →

feat(Analysis/Analytic/Basic): add missing AnalyticOn.neg lemma (#14827) Add missing AnalyticOn.neg lemma.

Estimated changes

added theorem AnalyticOn.neg