Scalar Carleman identities #
The conjugation, commutator, and weighted gradient identities used in
prop:carleman-gauss and prop:carleman-halfspace.
The conjugation, commutator, and weighted gradient identities used in
prop:carleman-gauss and prop:carleman-halfspace.