mathlib

784c7034 - docs(topology/basic): Fix typo in library note (#14743)