Theorem Nat.cast_ceil_eq_int_ceil

Modification history