Theorem SkewMonoidAlgebra.mapDomain_smul

Modification history