A graded analogue of the uniqueness and locality lemmas for field functionals
Let F∈Ok(E0⊕E1[1])F\in\mathcal{O}^k(E_0\oplus E_1[1])F∈Ok(E0⊕E1[1]) be such that the wavefront sets of both (ιh1…ιhkF)φ(1)\left(\iota_{h_1}\dots\iota_{h_k}F\right)_\varphi^{(1)}(ιh1…ιhkF)φ(1) and…