Theorem MonoidAlgebra.mapDomain_injective

Modification history