Theorem natCast_ceil_eq_intCast_ceil

Modification history