Theorem Prime.isPrimal

Modification history