Theorem MonoidAlgebra.domCongr_toAlgHom

Modification history