Theorem AddMonoidAlgebra.mapDomain_injective

Modification history