Theorem Nat.ceil_natCast

Modification history