Theorem MonoidAlgebra.lift_apply

Modification history