mathlib3

9b68ed5e - refactor(topology/algebra/continuous_monoid_hom): Make variables consistent (#16304)

refactor(topology/algebra/continuous_monoid_hom): Make variables consistent (#16304) This PR cleans up some redundant variables in `continuous_monoid_hom`. Co-authored-by: tb65536 <tb65536@users.noreply.github.com>