Theorem MonoidAlgebra.lhom_ext'

Modification history