Theorem Nat.one_lt_cast

Modification history