Algebra.Field.Finite

data F p

naturalRepr

reifyPrimeField

withPrimeField

modNat

modNat'

modRat

modRat'

class FiniteField k

order