chore(ring_theory/noetherian): generalize to semiring (#10032)
chore(ring_theory/noetherian): generalize to semiring (#10032)

This weakens some typeclasses on some results about `is_noetherian` (which already permits modules over semirings), and relaxes `is_noetherian_ring` to permit semirings.

This does not actually try changing any of the proofs, it just relaxes assumptions that were stronger than what was actually used.





leanprover-community/mathlib,leanprover-community/mathlib