noncomputable def BooleanFourier.fourierWeight {n : ℕ} (f : (Fin n → Bool) → ℝ) (S : Finset (Fin n)) : ENNReal

noncomputable def BooleanFourier.spectralDist {n : ℕ} (f : (Fin n → Bool) → ℝ) (hf : ∑ S : Finset (Fin n), fourierCoeff f S ^ 2 = 1) : PMF (Finset (Fin n))