Theorem uniformContinuous_monoidHom_of_continuous

Modification history