Theorem AddMonoidAlgebra.domCongr_apply

Modification history