Documentation
MeanFourier
Search
return to top
source
Imports
Init
MeanFourier.InvtMean
MeanFourier.UnitaryDual
MeanFourier.UnitaryRep
MeanFourier.UnitaryRepresentation
MeanFourier.AlmostPeriod.L2
MeanFourier.BohrSet.Defs
MeanFourier.BohrSet.Regular
MeanFourier.VCDim.Averaging
MeanFourier.Mathlib.Combinatorics.Additive.ApproximateSubgroup
MeanFourier.Mathlib.Combinatorics.Additive.CovBySMul
MeanFourier.Mathlib.Data.ENNReal.BigOperators
MeanFourier.Mathlib.Data.ENNReal.Operations
MeanFourier.Mathlib.Data.ENat.Basic
MeanFourier.Mathlib.Data.ENat.BigOperators
MeanFourier.Mathlib.Data.Finset.Pi
MeanFourier.Mathlib.Data.Fintype.BigOperators
MeanFourier.Mathlib.Data.Fintype.Pi
MeanFourier.Mathlib.Data.Set.Prod
MeanFourier.Mathlib.Topology.MetricSpace.Cover
MeanFourier.Mathlib.Topology.MetricSpace.CoveringNumbers
MeanFourier.Mathlib.Topology.MetricSpace.MetricSeparated
MeanFourier.Mathlib.Algebra.BigOperators.GroupWithZero.Finset
MeanFourier.Mathlib.Algebra.Module.Equiv.Basic
MeanFourier.Mathlib.Analysis.Normed.Operator.NormedSpace
MeanFourier.Mathlib.Topology.Algebra.Module.Equiv
MeanFourier.Mathlib.Algebra.Group.Pointwise.Set.Basic
Imported by