Theorem MulHom.prod_unique

Modification history