Theorem SkewMonoidAlgebra.toFinsupp_mapDomain

Modification history