Theorem Int.ceil_intCast

Modification history