mathlib3

c91e6c2e - fix(ring_theory/algebra): remove duplicate theorems to fix build