Theorem MonoidHom.comp_one

Modification history