theorem BooleanFourier.totalInfluence_eq_sum_card_mul_fourierCoeff_sq {n : ℕ} (f : (Fin n → Bool) → ℝ) : totalInfluenceReal f = ∑ S : Finset (Fin n), ↑S.card * fourierCoeff f S ^ 2

Alias of BooleanFourier.totalInfluenceReal_eq_sum_card_fourierCoeff_sq.