Theorem MonoidAlgebra.lift_def

Modification history