Theorem ZNum.ofInt'_neg

Modification history