Theorem MonoidAlgebra.single_mul_single

Modification history