Theorem SkewMonoidAlgebra.mapDomain_id

Modification history