Theorem MonoidAlgebra.single_pow

Modification history