Theorem IsMonoidHom.inv

Modification history