mathlib3

563a51af - chore(topology/algebra/semigroup): golf file (#14957)