Theorem MonoidHom.functions_ext'

Modification history