Theorem Int.cast_lt

Modification history