Theorem MulHom.prodMap_def

Modification history