Mathlib Changelog
v4
Changelog
About
Github
Theorem
AnalyticOn.comp
Modification history
2023-09-17 04:53
Mathlib/Analysis/Analytic/Composition.lean
feat: Add analytic structure groupoid on models with corners (#6386)
Added
AnalyticOn.comp
View on Github →