Theorem Nat.cast_smul_eq_nsmul

Modification history