Theorem Int.cast_neg

Modification history