Documentation

Papers.OrendayLaresRockel2026XiBeta.Main

Imports

Init
Papers.OrendayLaresRockel2026XiBeta.CompletionXi
Papers.OrendayLaresRockel2026XiBeta.DExchange
Papers.OrendayLaresRockel2026XiBeta.DExchangeShuffle
Papers.OrendayLaresRockel2026XiBeta.GapConvexEq
Papers.OrendayLaresRockel2026XiBeta.IntervalExchange
Papers.OrendayLaresRockel2026XiBeta.MaximalCompletion
Papers.OrendayLaresRockel2026XiBeta.MedianSection
Papers.OrendayLaresRockel2026XiBeta.RBranchBasic
Papers.OrendayLaresRockel2026XiBeta.RBranchLaw
Papers.OrendayLaresRockel2026XiBeta.RBranchOrdinal
Papers.OrendayLaresRockel2026XiBeta.RBranchProp53
Papers.OrendayLaresRockel2026XiBeta.RBranchRank
Papers.OrendayLaresRockel2026XiBeta.RBranchSingular
Papers.OrendayLaresRockel2026XiBeta.Remark54
Papers.OrendayLaresRockel2026XiBeta.RightSection
Papers.OrendayLaresRockel2026XiBeta.SIBoundFinal
Papers.OrendayLaresRockel2026XiBeta.SIRegion
Papers.OrendayLaresRockel2026XiBeta.Section2Classes
Papers.OrendayLaresRockel2026XiBeta.Section4V2
Papers.OrendayLaresRockel2026XiBeta.StochasticRigidity
Papers.OrendayLaresRockel2026XiBeta.Subclasses
Papers.OrendayLaresRockel2026XiBeta.TentDensity
Papers.OrendayLaresRockel2026XiBeta.TentRank
Papers.OrendayLaresRockel2026XiBeta.TentTotalPositivity
Papers.OrendayLaresRockel2026XiBeta.TentTranspose
Papers.OrendayLaresRockel2026XiBeta.TentV2Basic
Papers.OrendayLaresRockel2026XiBeta.TentV2Minimizer
Papers.OrendayLaresRockel2026XiBeta.TentV2Prop31
Papers.OrendayLaresRockel2026XiBeta.TentV2Prop32

Imported by

← Mathematical handbook

OrendayLaresRockel2026XiBeta: public results #

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