All.lean
Nyll.SchemeTheory.Normalization.IntegralClosure.All
0 declarations indexed from sourceView source ↗
Module documentation
Integral-closure constructions and comparisons
This aggregate exposes finite-product integral closures, intersections of localizations, regular pairs, integral bases, and comparisons between two integral bases.
Imports6
- Nyll.SchemeTheory.Normalization.IntegralClosure.AwayPairIntersection
- Nyll.SchemeTheory.Normalization.IntegralClosure.FiniteProduct
- Nyll.SchemeTheory.Normalization.IntegralClosure.IntegralBase.All
- Nyll.SchemeTheory.Normalization.IntegralClosure.PrimeAwayIntersection
- Nyll.SchemeTheory.Normalization.IntegralClosure.RegularPair.All
- Nyll.SchemeTheory.Normalization.IntegralClosure.TwoIntegralBasesEquiv
Imported by1
This module has no indexed declarations. Its imports and full source are available here.