Theorem MonoidAlgebra.nonUnitalAlgHom_ext'

Modification history