Theorem MonoidAlgebra.single_one_mul_apply

Modification history