Theorem Rat.cast_smul_eq_qsmul

Modification history