Theorem MonoidAlgebra.prod_single

Modification history