isFinitePrimeField R
i1 : isFinitePrimeField QQ o1 = false
i2 : isFinitePrimeField (ZZ/101) o2 = true
The object isFinitePrimeField is a function closure.