Theorem Rat.den_div_cast_eq_one_iff

Modification history