Theorem AddMonoidAlgebra.single_pow

Modification history