Theorem MonoidAlgebra.algHom_ext'

Modification history