OAI/AlgebraicGeometry/SectionFields/
277 declarations, 0 contain sorry, 0 declared as axioms; 16 files
Files
- AlgebraicDescent.lean 21 declarations
- AlgebraicFields.lean 9 declarations
- Constants.lean 11 declarations
- EffectiveSystems.lean 32 declarations
- FlatDescent.lean 8 declarations
- GaloisAction.lean 12 declarations
- GenericFiber.lean 22 declarations
- GeometricFiber.lean 12 declarations
- Main.lean 1 import, no declarations
- NormalBaseChange.lean 17 declarations
- NormalDivisors.lean 28 declarations
- QCartier.lean 37 declarations
- Recovery.lean 26 declarations
- ScalarCharts.lean 17 declarations
- TensorAlgebra.lean 13 declarations
- TensorDomains.lean 12 declarations