Theorem Int.ceil_sub_natCast

Modification history