residueField

1 triples
GPTKB property

Random triples
Subject Object
gptkb:ring_of_p-adic_integers finite field of order p