Theorem Int.ceil_sub_intCast

Modification history