Theorem MonoidAlgebra.mul_apply_left

Modification history