Theorem ContinuousMonoidHom.isClosedEmbedding_coe

Modification history