hasPrimeModulus

P56108 predicate

Indicates that the associated entity or structure is defined over, or characterized by, a modulus that is a prime number.