Assuming a variable is prime

[pelegm]

Can we somehow assume an integer variable is prime? Something like assume(p, 'prime') and then bool(p>1) will return True?

Component: symbolics

Keywords: prime, assume

Issue created by migration from https://trac.sagemath.org/ticket/21981