def BooleanFourier.sensitivity {n : ℕ} (f : (Fin n → Bool) → Bool) (x : Fin n → Bool) : ℕ