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