mathlib3

2194eef2 - chore(ring_theory/ideal/local_ring): generalize to semirings (#13341)