Theorem MonoidAlgebra.mul_apply_right

Modification history