Theorem Int.gcd_pos_of_ne_zero_right

Modification history

2025-05-02 23:00
Mathlib/Data/Int/GCD.lean
chore: bump toolchain to v4.20.0-rc2 (#24561)
Deleted Int.gcd_pos_of_ne_zero_rightView on Github →
2023-04-06 17:52
Mathlib/Data/Int/GCD.lean
feat: `a/c ≡ b/c mod m/c → a ≡ b mod m` (#3259) …
Added Int.gcd_pos_of_ne_zero_rightView on Github →