mathlib3

7a93d87c - doc(src/ring_theory/integral_domain.lean): add module docstring (#3881)