Theorem MonoidAlgebra.distribMulActionHom_ext'

Modification history