mathlib3

812ff38b - docs(algebra/ordered_ring): add module docstring (#9030)