Theorem AddMonoidAlgebra.lift_apply'

Modification history