Theorem mem_pNilradical

Modification history