All.lean
Nyll.ClassFieldTheory.AlgebraicNumberTheory.Ramification.Splitting.All
0 declarations indexed from sourceView source ↗
Module documentation
Splitting of finite places in field extensions
Imports4
- Nyll.ClassFieldTheory.AlgebraicNumberTheory.Ramification.Splitting.FinitePlace
- Nyll.ClassFieldTheory.AlgebraicNumberTheory.Ramification.Splitting.FinitePlaceIdeal
- Nyll.ClassFieldTheory.AlgebraicNumberTheory.Ramification.Splitting.NormalClosure
- Nyll.ClassFieldTheory.AlgebraicNumberTheory.Ramification.Splitting.PrimeOrderFixedField
This module has no indexed declarations. Its imports and full source are available here.