Theorem SkewMonoidAlgebra.mapDomain_single

Modification history