All.lean
Nyll.SchemeTheory.Divisors.All
0 declarations indexed from sourceView source ↗
Module documentation
Canonical aggregate for scheme-theoretic divisors.
Imports24
- Nyll.SchemeTheory.Divisors.ArithmeticBoundary
- Nyll.SchemeTheory.Divisors.ArithmeticBoundaryEtale
- Nyll.SchemeTheory.Divisors.Basic
- Nyll.SchemeTheory.Divisors.CartierEtale
- Nyll.SchemeTheory.Divisors.ComponentStalkBranch
- Nyll.SchemeTheory.Divisors.ConnectedComplement
- Nyll.SchemeTheory.Divisors.EtaleRegularity
- Nyll.SchemeTheory.Divisors.HorizontalEtale
- Nyll.SchemeTheory.Divisors.IrreducibleComponentMap
- Nyll.SchemeTheory.Divisors.LocalComplement
- Nyll.SchemeTheory.Divisors.LocalScheme
- Nyll.SchemeTheory.Divisors.NormalCrossings.All
- Nyll.SchemeTheory.Divisors.Reduced
- Nyll.SchemeTheory.Divisors.ReducedEtale
- Nyll.SchemeTheory.Divisors.ReducedIrreducibleComponentGeometry
- Nyll.SchemeTheory.Divisors.SurjectiveArithmeticBoundary
- Nyll.SchemeTheory.Divisors.EtaleIrreducibleComponents
- Nyll.SchemeTheory.Divisors.EtaleIrreducibleComponentMap
- Nyll.SchemeTheory.Divisors.SmoothIrreducibleComponents
- Nyll.SchemeTheory.Divisors.StalkAwayComplement
- Nyll.SchemeTheory.Divisors.AffineComplement
- Nyll.SchemeTheory.Divisors.Scheme_isIntegral_subscheme_vanishingIdeal
- Nyll.SchemeTheory.Divisors.SubschemeStalk
- Nyll.SchemeTheory.Divisors.RegularCartier
Imported by1
This module has no indexed declarations. Its imports and full source are available here.