mathlib3

3a2a76d0 - fix ring_theory/ideal/operations