Theorem SkewMonoidAlgebra.sum_mapDomain_index

Modification history