Theorem Nat.ofNat_lt_cast

Modification history