Theorem contMDiff_snd_tangentBundle_modelSpace

feat: invariance under diffeomorphisms of the Lie bracket of vector fields on manifolds, and Jacobi identity (#22446)

feat: the homeomorphism between the tangent bundle to the model space and the product is a diffeomorphism (#19637)