OAI/NumberTheory/SiegelZeros/Selection/
296 declarations, 0 contain sorry, 0 declared as axioms; 21 files
Files
- CoordinateBasisSplitting.lean 9 declarations
- CoordinateConstancy.lean 2 declarations
- Directions.lean 8 declarations
- EventualSelection.lean 3 declarations
- EventuallyPivots.lean 27 declarations
- GlobalPivotValuationExponent.lean 2 declarations
- GlobalRectanglePivotBounds.lean 1 declarations
- GlobalWeightSortedJetEquiv.lean 4 declarations
- GreedyPivots.lean 39 declarations
- GreedyPivotsWeightLowSpan.lean 8 declarations
- InvariantBox.lean 1 declarations
- JetRowAutCongr.lean 1 declarations
- OrderedGreedyRows.lean 9 declarations
- PivotBounds.lean 1 declarations
- PivotReindexing.lean 19 declarations
- RestrictWeightSortedEquiv.lean 22 declarations
- RowReplacement.lean 29 declarations
- RowSpan.lean 2 declarations
- SelectionBridge.lean 76 declarations
- SplitCoordinateClosedPoint.lean 11 declarations
- WeightedJetIndices.lean 22 declarations