Def nilradical

Modification history