Theorem Nat.ceil_one

Modification history