mathlib3

6ab66958 - docs(topology/algebra/floor_ring): add module docstring (#8969)