Theorem MonoidHom.comp_inv

Modification history