isUniversalCoveringRingOf
1
triples
GPTKB property
Random triples
| Subject | Object |
|---|---|
| gptkb:ring_of_p-adic_integers | finite rings Z/p^nZ |