Theorem pNilradical_eq_nilradical

Modification history