Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-09-02 07:54 fe7695ba

View on Github →

chore(data/nat/gcd): remove pointless parentheses (#1386)

Estimated changes

Modified src/data/nat/gcd.lean

modified theorem nat.gcd_eq_right_iff_dvd