Theorem Nat.ceil_lt_two_mul

Modification history