Theorem MonoidAlgebra.domCongr_single

Modification history