Namespace IsIntegrallyClosedIn 1 theorems
- Reduced quotient B/(varpi) gives B integrally closed in B[1/varpi]
IsIntegrallyClosedIn.of_isReduced_quotient_span_singleton0 below · cited by 2 · depth 17
IsIntegrallyClosedIn 1 theoremsIsIntegrallyClosedIn.of_isReduced_quotient_span_singleton 0 below · cited by 2 · depth 17