Editing Smooth structure (section)

=== Equivalence of smooth structures ===

If <math>\mu</math> and <math>\nu</math> are two maximal atlases on <math>M</math> the two smooth structures associated to <math>\mu</math> and <math>\nu</math> are said to be equivalent if there is a [[diffeomorphism]] <math>f : M \to M</math> such that <math>\mu \circ f = \nu.</math> {{Citation needed|reason=It's not clear what composing a function with an atlas should mean here. |date=June 2020}}