Theorem Nat.ceil_le_two_mul

Modification history