Theorem AddMonoidAlgebra.toDirectSum_mul

Modification history