Theorem MonoidAlgebra.mul_single_one_apply

Modification history