Theorem MonoidAlgebra.support_one

Modification history