OAI/NumberTheory/SiegelZeros/Determinants/
282 declarations, 0 contain sorry, 0 declared as axioms; 17 files
Files
- DeterminantBridge.lean 6 declarations
- DeterminantComparison.lean 12 declarations
- Divisibility.lean 1 declarations
- GeneratedGreedyDivisibility.lean 55 declarations
- GenericNormalization.lean 36 declarations
- GenericNormalizationFinite.lean 21 declarations
- IntegralDeterminantTransport.lean 1 declarations
- IntegralGaussReduction.lean 8 declarations
- NormSqReal.lean 20 declarations
- NormalDirectionSelection.lean 14 declarations
- NormalSelection.lean 8 declarations
- NormalSurjectivity.lean 11 declarations
- NormalizedCompletion.lean 10 declarations
- NormalizedMasterBound.lean 1 declarations
- RectangleDeterminant.lean 8 declarations
- SqrtPairFrobeniusDirections.lean 29 declarations
- ThetaDivisibility.lean 41 declarations