Theorem MulHom.prod_apply

Modification history