Theorem ZNum.cast_neg

Modification history