Commit 2019-06-03 18:05 4263b2be
View on Github →fix(data/nat/gcd): correct order of arguments in nat.coprime_mul_iff_right (#1105)
- Not sure how this works
- Fix order for coprime_mul_iff_right
- Remove spurious file
fix(data/nat/gcd): correct order of arguments in nat.coprime_mul_iff_right (#1105)