Theorem Rat.smul_one_eq_cast

Modification history