OAI/NumberTheory/SiegelZeros/Differentials/
316 declarations, 0 contain sorry, 0 declared as axioms; 22 files
Files
- ConormalNonvanishing.lean 3 declarations
- ConormalPairing.lean 4 declarations
- CotangentGeneration.lean 3 declarations
- DerivationJet.lean 39 declarations
- DerivativeBound.lean 3 declarations
- DerivativeGeneratorBridge.lean 12 declarations
- DerivativeMatrix.lean 11 declarations
- FinrankDerivationCardTranscendenceBasis.lean 16 declarations
- FractionEulerDerivation.lean 18 declarations
- GammaFactorDerivative.lean 8 declarations
- InvariantDerivation.lean 9 declarations
- InvariantDerivationLemmas.lean 20 declarations
- KoszulTopDifferential.lean 7 declarations
- LocalizeInvariantDerivationLogCoordinate.lean 2 declarations
- LogDerivative.lean 5 declarations
- RectangleCotangentBasis.lean 21 declarations
- SelectedCotangent.lean 79 declarations
- SmoothConormalExtension.lean 2 declarations
- TorusDerivationOverRat.lean 16 declarations
- TorusQuotientDimensionPosCotangentFinrankThree.lean 9 declarations
- UnconditionalGlobalLogform.lean 20 declarations
- ZetaLogDerivative.lean 9 declarations