Theorem Int.cast_sub

Modification history