Theorem nilradical_le_prime

Modification history