OAI/NumberTheory/SiegelZeros/Hilbert/
255 declarations, 0 contain sorry, 0 declared as axioms; 13 files
Files
- ConeChartHomogeneousLocal.lean 4 declarations
- ConeHomogeneousEquations.lean 21 declarations
- HilbertMultiplicityFiltration.lean 15 declarations
- HilbertSeries.lean 30 declarations
- HilbertZeroVariables.lean 23 declarations
- HomogeneousComponentLength.lean 9 declarations
- HomogeneousDeformation.lean 45 declarations
- HomogeneousListHistory.lean 8 declarations
- HomogeneousSections.lean 6 declarations
- NormalizedHomogeneousChartEquation.lean 6 declarations
- PrimeHilbertComparison.lean 34 declarations
- PrimeHilbertDimension.lean 4 declarations
- ProperHypersurfaceHilbert.lean 50 declarations