Theorem MonoidHom.prod_unique

Modification history