All.lean
Nyll.SchemeTheory.RingTheory.GenericFiber.All
0 declarations indexed from sourceView source ↗
Module documentation
Generic fibres and fraction rings
This aggregate exposes finite generic fibres, fraction-ring comparisons, primes lying over fraction rings, and chosen components of DVR products.
Imports5
- Nyll.SchemeTheory.RingTheory.GenericFiber.ChosenComponentFractionRing
- Nyll.SchemeTheory.RingTheory.GenericFiber.DVRProductComponent
- Nyll.SchemeTheory.RingTheory.GenericFiber.Finite
- Nyll.SchemeTheory.RingTheory.GenericFiber.FractionRing
- Nyll.SchemeTheory.RingTheory.GenericFiber.LiesOverFractionRingExtension
Imported by1
This module has no indexed declarations. Its imports and full source are available here.