Math.Core.Utils
toSet
sortDesc
insertDesc
setUnionAsc
setUnionDesc
intersectAsc
multisetSumAsc
multisetSumDesc
diffAsc
diffDesc
isSubsetAsc
isSubMultisetAsc
elemAsc
notElemAsc
picks
pairs
ordpair
foldcmpl
isWeaklyIncreasing
isStrictlyIncreasing
isWeaklyDecreasing
isStrictlyDecreasing
cmpfst
eqfst
fromBase
powersetdfs
powersetbfs
combinationsOf
choose
class FinSet x
class HasInverses a
(^-)