Theorem AddMonoidAlgebra.domCongr_toAlgHom

Modification history