Theorem MonoidAlgebra.lsingle_apply

Modification history