Theorem MonoidAlgebra.mapDomain_single

Modification history