Documentation
MiscYD
Search
return to top
source
Imports
Init
MiscYD.AddCombi.Impact
MiscYD.AddCombi.SliceRank
MiscYD.Book.MetricBetween
MiscYD.Book.SylvesterChvatal
MiscYD.Convexity.Ceva
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.Convexity.Refactor.Defs
MiscYD.Convexity.Refactor.StdSimplex
MiscYD.Convexity.Sperner.Sperner
MiscYD.Mathlib.GroupTheory.OrderOfElement
MiscYD.Mathlib.Probability.CondVar
MiscYD.PhD.VCDim.AddVCDim
MiscYD.PhD.VCDim.Convex
MiscYD.PhD.VCDim.CoveringPacking
MiscYD.PhD.VCDim.HausslerPacking
MiscYD.PhD.VCDim.HypercubeEdges
MiscYD.PhD.VCDim.Net
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.Mathlib.Probability.Moments.Variance
MiscYD.PhD.VCDim.UnifAP.Defs
MiscYD.PhD.VCDim.UnifAP.Fourier
MiscYD.Mathlib.MeasureTheory.Integral.Bochner.Set
Imported by