Mathlib v3 is deprecated. Go to Mathlib v4

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

Estimated changes