Theorem Nat.coprime_sub_mul_floor_rat_div_of_coprime

Modification history