This result formalizes let denote the [Hilbert space](/page/Hilbert%20Space) of square-integrable -forms, equipped with the [inner product](/page/Inner%20Product) , linear in the first argument. It supports the chapter's treatment of CR geometry, [boundary regularity](/theorems/99), and holomorphic extension in several complex variables.