Commit 2024-01-17 15:11 03a7bc56
View on Github →fix(Data/Fin/Basic): Change definition of predAbove to use castPred (#9791)
predAbove and castPred are no longer directly related. This patch makes it so that they are, removing castLT from the definition of predAbove and thus making it more directly analogous to succAbove.