chore: update module topology file after recent PRs to mathlib (including rename from action topology)#272