Theorem Rat.num_div_eq_of_coprime

Modification history