mathlib3

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

#1386

Merged