All.lean
Nyll.SchemeTheory.FunctionFields.All
0 declarations indexed from sourceView source ↗
Module documentation
Function fields and prime divisors
This facade collects functoriality for dominant morphisms, function-field transcendence, valuation-theoretic prime divisors and their counting theorems, together with ring covers of domains.
Imports10
- Nyll.SchemeTheory.FunctionFields.Functoriality
- Nyll.SchemeTheory.FunctionFields.GeometricIntegrality
- Nyll.SchemeTheory.FunctionFields.IntegerBase
- Nyll.SchemeTheory.FunctionFields.ArithmeticGeometricIntegrality
- Nyll.SchemeTheory.FunctionFields.PlainIntegerBase
- Nyll.SchemeTheory.FunctionFields.PrimeDivisors.All
- Nyll.SchemeTheory.FunctionFields.SeparableClosure.All
- Nyll.SchemeTheory.FunctionFields.StalkFactorization
- Nyll.SchemeTheory.FunctionFields.Valuations.All
- Nyll.SchemeTheory.FunctionFields.StalkFunctoriality
Imported by1
This module has no indexed declarations. Its imports and full source are available here.