Theorem DistribMulActionHom.toAddMonoidHom_injective

Modification history