Theorem isJacobsonRing_iff_prime_eq

Modification history