mathlib3

b7bde9df - docs(topology/sets/compacts): fix typo (#15739)