Theorem AddMonoidAlgebra.lift_of

Modification history