Theorem MonoidAlgebra.lift_of

Modification history