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





leanprover-community/mathlib,leanprover-community/mathlib