https://123dok.net/document/z1d4886d-foliated-structure-kuranishi-isomorphisms-deformation-families-compact-manifolds.html