theorem BooleanFourier.noiseOp_preserves_expectation {n : ℕ} (ρ : ℝ) (f : (Fin n → Bool) → ℝ) : fourierCoeff (noiseOperator ρ f) ∅ = fourierCoeff f ∅