Theorem AddMonoidAlgebra.lhom_ext'

Modification history