# 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.

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