Def pNilradical

Modification history