Theorem Nat.cast_le_ofNat

Modification history