Theorem MonoidAlgebra.mul_single_apply

Modification history