All.lean
Nyll.SchemeTheory.AbhyankarLemma.Geometry.All
0 declarations indexed from sourceView source ↗
Module documentation
Abhyankar lemma: Geometry
Canonical aggregate generated by the reviewed rehome.
Imports7
- Nyll.SchemeTheory.AbhyankarLemma.Geometry.Basic
- Nyll.SchemeTheory.AbhyankarLemma.Geometry.CyclicInertia.All
- Nyll.SchemeTheory.AbhyankarLemma.Geometry.GroupTheory.All
- Nyll.SchemeTheory.AbhyankarLemma.Geometry.Inertia.All
- Nyll.SchemeTheory.AbhyankarLemma.Geometry.Normalization.All
- Nyll.SchemeTheory.AbhyankarLemma.Geometry.Residue.All
- Nyll.SchemeTheory.AbhyankarLemma.Geometry.UnramifiedCriterion
Imported by1
This module has no indexed declarations. Its imports and full source are available here.