Commit 2024-10-12 08:56 90cf978d

View on Github →

chore(Order/Bounds): move defs to a new file (#17676) Also generalize definitions to LE.

Estimated changes

deleted def BddAbove
deleted def BddBelow
deleted def IsGLB
deleted def IsGreatest
deleted def IsLUB
deleted def IsLeast
deleted def lowerBounds
deleted def upperBounds
added def BddAbove
added def BddBelow
added def IsGLB
added def IsGreatest
added def IsLUB
added def IsLeast
added def lowerBounds
added def upperBounds