Theorem Int.cast_min

Modification history