Theorem Ideal.span_singleton_prime

Modification history