All.lean
Nyll.ClassFieldTheory.KummerTheory.Concrete.SUnitPreparation.All
0 declarations indexed from sourceView source ↗
Module documentation
Preparation of S-unit Kummer extensions
Collects the finite radical support, local power kernels, and power quotients used to prepare full S-unit Kummer extensions.
Imports6
- Nyll.ClassFieldTheory.KummerTheory.Concrete.SUnitPreparation.Core
- Nyll.ClassFieldTheory.KummerTheory.Concrete.SUnitPreparation.EnlargedSUnitRestriction
- Nyll.ClassFieldTheory.KummerTheory.Concrete.SUnitPreparation.FiniteRadicalSupport
- Nyll.ClassFieldTheory.KummerTheory.Concrete.SUnitPreparation.FullSUnitKummerExtension
- Nyll.ClassFieldTheory.KummerTheory.Concrete.SUnitPreparation.SUnitLocalPowerKernel
- Nyll.ClassFieldTheory.KummerTheory.Concrete.SUnitPreparation.SUnitPowerQuotient
Imported by1
This module has no indexed declarations. Its imports and full source are available here.