Commit 2024-03-08 21:06 9fede314

View on Github →

feat(SuccPred): {succ,pred}_{min,max} (#9367)

Estimated changes

added theorem pred_max
added theorem pred_min
added theorem succ_max
added theorem succ_min