Theorem SkewMonoidAlgebra.mapDomain_comp

Modification history