Documentation

Atlas.BooleanFunctions.code.Definitions

source
@[reducible, inline]
abbrev BooleanFourier.BoolFn (n : ℕ) :
Type
Instances For
    source
    noncomputable def BooleanFourier.lpNorm {n : ℕ} (p : ℝ) (f : BoolFn n) :
    ℝ
    Instances For