Namespace IsDomain 1 theorems
- Geometric integrality of A-algebras embedding in K((t))
IsDomain.tensorProduct_of_injective_algHom_laurentSeries1 below · cited by 3 · depth 31
IsDomain 1 theoremsIsDomain.tensorProduct_of_injective_algHom_laurentSeries 1 below · cited by 3 · depth 31