Def MonoidAlgebra.domCongr

Modification history