Documentation
MeanFourier
Search
return to top
source
Imports
Init
MeanFourier.AlmostConvergent
MeanFourier.Translate
MeanFourier.UnitaryDual
MeanFourier.UnitaryRep
MeanFourier.UnitaryRepresentation
MeanFourier.AlmostPeriod.L2
MeanFourier.AlmostPeriod.Uniform
MeanFourier.BohrSet.Defs
MeanFourier.BohrSet.Doubling
MeanFourier.BohrSet.Regular
MeanFourier.InvtMean.Defs
MeanFourier.InvtMean.Foelner
MeanFourier.InvtMean.Riemann
MeanFourier.InvtMean.UAPExtension
MeanFourier.InvtMean.VonNeumann
MeanFourier.VCDim.ArithmeticRegularity
MeanFourier.VCDim.Averaging
MeanFourier.Mathlib.Combinatorics.Additive.ApproximateSubgroup
MeanFourier.Mathlib.Combinatorics.Additive.CovBySMul
MeanFourier.Mathlib.Combinatorics.Additive.VCDim
MeanFourier.Mathlib.Combinatorics.SetFamily.HausslerPacking
MeanFourier.Mathlib.Combinatorics.SetFamily.VCDim
MeanFourier.Mathlib.Data.ENNReal.BigOperators
MeanFourier.Mathlib.Data.ENNReal.Operations
MeanFourier.Mathlib.Data.ENat.Basic
MeanFourier.Mathlib.Data.ENat.BigOperators
MeanFourier.Mathlib.Data.EReal.Basic
MeanFourier.Mathlib.Data.Finset.Pi
MeanFourier.Mathlib.Data.Fintype.BigOperators
MeanFourier.Mathlib.Data.Fintype.Pi
MeanFourier.Mathlib.Data.Real.ENatENNReal
MeanFourier.Mathlib.Data.Set.Basic
MeanFourier.Mathlib.Data.Set.Card
MeanFourier.Mathlib.Data.Set.Prod
MeanFourier.Mathlib.MeasureTheory.Group.FoelnerFilter
MeanFourier.Mathlib.MeasureTheory.Integral.Average
MeanFourier.Mathlib.Topology.Bornology.Basic
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.Group.Bounded
MeanFourier.Mathlib.Analysis.Normed.Group.Pointwise
MeanFourier.Mathlib.Topology.Algebra.Module.Equiv
MeanFourier.Mathlib.Topology.MetricSpace.Pseudo.Defs
MeanFourier.Mathlib.Algebra.Group.Pointwise.Set.Basic
MeanFourier.Mathlib.Analysis.Normed.Module.Ball.Pointwise
MeanFourier.Mathlib.Algebra.Group.Action.Pointwise.Set.Basic
Imported by