feat(topology/algebra/continuous_monoid_hom): Add `topological_group` instance (#11707)
feat(topology/algebra/continuous_monoid_hom): Add `topological_group` instance (#11707)

This PR proves that continuous monoid homs form a topological group.





leanprover-community/mathlib,leanprover-community/mathlib