All.lean
Nyll.SchemeTheory.NoetherNormalization.All
0 declarations indexed from sourceView source ↗
Module documentation
Noether normalization
This facade collects the linear and power-triangular constructions for generator-sensitive Noether normalization.
Imports8
- Nyll.SchemeTheory.NoetherNormalization.GeneratorComplement
- Nyll.SchemeTheory.NoetherNormalization.GeneratorReduction
- Nyll.SchemeTheory.NoetherNormalization.Generators
- Nyll.SchemeTheory.NoetherNormalization.IntegralRelation
- Nyll.SchemeTheory.NoetherNormalization.LinearChange
- Nyll.SchemeTheory.NoetherNormalization.Nonvanishing
- Nyll.SchemeTheory.NoetherNormalization.PowerChange
- Nyll.SchemeTheory.NoetherNormalization.Trdeg
Imported by1
This module has no indexed declarations. Its imports and full source are available here.