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