Theorem Nat.cast_eq_one

Modification history