Theorem AddMonoidAlgebra.mapDomain_mul

Modification history