Theorem MonoidAlgebra.single_zero

Modification history