Theorem AddMonoidAlgebra.single_apply

Modification history