Documentation

Papers.Rockel2025Approximation.Main

Imports

Init
Papers.Rockel2025Approximation.BernsteinExact
Papers.Rockel2025Approximation.BernsteinKendall
Papers.Rockel2025Approximation.BernsteinRank
Papers.Rockel2025Approximation.CheckerboardMTP2
Papers.Rockel2025Approximation.Constructors
Papers.Rockel2025Approximation.ConvergenceSteps
Papers.Rockel2025Approximation.Counterexamples
Papers.Rockel2025Approximation.DyadicBlocks
Papers.Rockel2025Approximation.EqualGrids
Papers.Rockel2025Approximation.PermutationShuffles
Papers.Rockel2025Approximation.PopulationConvergence
Papers.Rockel2025Approximation.RectangularRanks
Papers.Rockel2025Approximation.RectangularTails
Papers.Rockel2025Approximation.RectangularXi
Papers.Rockel2025Approximation.StatisticalConsistency

Imported by

← Mathematical handbook

Rockel2025Approximation: public results #

See COVERAGE.md for the exact verified subset and remaining obligations.