mathlib

45ccb85d - chore(topology/basic): update module docstring (#15976)