Theorem Int.cast_ne_zero

Modification history