Theorem Rat.cast_mul_of_ne_zero

Modification history