Theorem Nat.cast_ne_one

Modification history