Theorem AddMonoidAlgebra.domCongr_symm

Modification history