Structures · Topology
NonarchimedeanRing
A topological ring is nonarchimedean if its underlying topological additive group is nonarchimedean.
- Shape
- One type argument · adds is_nonarchimedean
Extends1
Extended by0
Nothing extends this class yet.
Concrete types that are instances2
- UniformSpace.Completion
- Prod
How is a type an instance?
Loading the hierarchy index…
Assumed by10
- HasSum.mul_of_nonarchimedean
- instNonarchimedeanRingCompletion
- NonarchimedeanRing.toIsTopologicalRing
- NonarchimedeanRing.to_nonarchimedeanAddGroup
- Summable.mul_of_nonarchimedean
- NonarchimedeanRing.instProd
- NonarchimedeanRing.mul_subset
- NonarchimedeanRing.left_mul_subset
- tsum_mul_tsum_of_nonarchimedean
- NonarchimedeanRing.is_nonarchimedean