Math.Core.Utils

toSet

mergeSet

pairs

ordpair

foldcmpl

cmpfst

eqfst

fromBase

powersetdfs

powersetbfs

combinationsOf

choose

class FinSet x

class HasInverses a

(^-)