Theorem MonoidAlgebra.single_one_comm

Modification history