Atlas is Contained in Unique Maximal Atlas
Contents
Theorem
Let $M$ be a topological space.
Let $A$ be a $d$-dimensional atlas of class $C^k$.
Then $A$ is contained in a unique maximal atlas of class $C^k$.
Proof
Existence
Uniqueness
You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by crafting such a proof.
When this page/section has been completed, {{ProofWanted}} should be removed from the code.
If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page (see the proofread template for usage).
