Theorem AddMonoidAlgebra.distribMulActionHom_ext'

Modification history