Theorem IsPRadical.comap_pNilradical

Modification history