Math.Core.Utils
toSet
mergeSet
pairs
ordpair
foldcmpl
cmpfst
eqfst
fromBase
powersetdfs
powersetbfs
combinationsOf
choose
class FinSet x
class HasInverses a
(^-)