Theorem Int.cast_max

Modification history