Theorem MonoidAlgebra.domCongr_apply

Modification history