Theorem MonoidHom.mem_mgraph

Modification history