All.lean
Nyll.GaloisCohomology.ArtinSchreier.All
0 declarations indexed from sourceView source ↗
Module documentation
Artin–Schreier characters and cohomology
Collects root characters, finite restriction kernels, prime-degree actions, valuation characters, and the associated vanishing and detection results.
Imports10
- Nyll.GaloisCohomology.ArtinSchreier.RootCharacter
- Nyll.GaloisCohomology.ArtinSchreier.FiniteRestrictionKernel
- Nyll.GaloisCohomology.ArtinSchreier.PrimeDegreeAction
- Nyll.GaloisCohomology.ArtinSchreier.CharacterClasses
- Nyll.GaloisCohomology.ArtinSchreier.FieldMapApproximation
- Nyll.GaloisCohomology.ArtinSchreier.CohomologyVanishing
- Nyll.GaloisCohomology.ArtinSchreier.OpenCohomologyVanishing
- Nyll.GaloisCohomology.ArtinSchreier.NontrivialCharacter
- Nyll.GaloisCohomology.ArtinSchreier.ValuationCharacters
- Nyll.GaloisCohomology.ArtinSchreier.AutomorphismDetection
Imported by1
This module has no indexed declarations. Its imports and full source are available here.