Theorem Prime.isRadical

Modification history