Theorem pNilradical_one

Modification history