mathlib

6b2e62b5 - chore(algebra/ring/defs): generalize is_domain (#17831)

chore(algebra/ring/defs): generalize is_domain (#17831) We generalize `is_domain` to allow semirings. Corresponding mathlib4 PR https://github.com/leanprover-community/mathlib4/pull/875.