Smooth Manifolds

Fabian Immler, Bohua Zhan. Smooth Manifolds. Archive of Formal Proofs, 2018, 2018. [doi]