All.lean
Nyll.SchemeTheory.Normalization.IntegralClosure.IntegralBase.All
0 declarations indexed from sourceView source ↗
Module documentation
Integral-closure comparisons over integral bases
This aggregate exposes the equivalence comparing integral closures over the specified integral base.
This module has no indexed declarations. Its imports and full source are available here.