Theorem MonoidAlgebra.domCongr_support

Modification history