Documentation
MiscYD
Search
return to top
source
Imports
Init
MiscYD.AddCombi.Impact
MiscYD.AddCombi.SliceRank
MiscYD.Book.MetricBetween
MiscYD.Book.SylvesterChvatal
MiscYD.Convexity.MinkowskiCaratheodory
MiscYD.SetFamily.PosDiffs
MiscYD.AddCombi.Corner.CombiDegen
MiscYD.AddCombi.Kneser.CauchyDavenportFromKneser
MiscYD.AddCombi.Kneser.Kneser
MiscYD.AddCombi.Kneser.KneserRuzsa
MiscYD.AddCombi.Kneser.MulStab
MiscYD.Mathlib.GroupTheory.OrderOfElement
MiscYD.PhD.VCDim.AddVCDim
MiscYD.PhD.VCDim.Convex
MiscYD.PhD.VCDim.CoveringPacking
MiscYD.PhD.VCDim.HausslerPacking
MiscYD.PhD.VCDim.HypercubeEdges
MiscYD.PhD.VCDim.SmallAvDegImpExistsSmallOutDeg
MiscYD.PhD.VCDim.SmallVCImpSmallCondVar
MiscYD.Mathlib.Analysis.Convex.Combination
MiscYD.Mathlib.Combinatorics.SetFamily.Shatter
MiscYD.Mathlib.LinearAlgebra.AffineSpace.Combination
MiscYD.Mathlib.LinearAlgebra.AffineSpace.FiniteDimensional
MiscYD.Mathlib.MeasureTheory.MeasurableSpace.Basic
MiscYD.PhD.VCDim.UnifAP.Defs
MiscYD.PhD.VCDim.UnifAP.Fourier
Imported by