Theorem MonoidHom.mclosure_range

Modification history