This result formalizes let , let , and let be a generic embedded CR submanifold of class , with CR tangent bundle . It supports the chapter's treatment of CR geometry, [boundary regularity](/theorems/99), and holomorphic extension in several complex variables.