# Commit 2022-01-12 10:06 912c47d3

View on Github →feat(topology/algebra/continuous_monoid_hom): New file (#11304) This PR defines continuous monoid homs.

Mathlib v3 is deprecated. Go to Mathlib v4

feat(topology/algebra/continuous_monoid_hom): New file (#11304) This PR defines continuous monoid homs.