Theorem Int.cast_ne_one

Modification history