Theorem Rat.den_div_eq_of_coprime

Modification history