Commit 2021-08-16 08:39 c416a486

feat(algebra/gcd_monoid): move the gcd_monoid nat instance (#7180) moves gcd_monoid nat instance, removes corresponding todos. removes:

• nat.normalize_eq -- use normalize_eq instead renames:
• nat.gcd_eq_gcd to gcd_eq_nat_gcd
• nat.lcm_eq_lcm to lcm_eq_nat_lcm