Theorem MonoidAlgebra.ringHom_ext

Modification history