Theorem natCast_ceil_eq_intCast_ceil_of_neg_one_lt

Modification history