Theorem Int.cast_smul_eq_nsmul

Modification history