Theorem MonoidAlgebra.single_apply

Modification history