mathlib3

152bf15a - feat(data/fin): pred_above_monotone (#6170)

feat(data/fin): pred_above_monotone (#6170) Co-authored-by: Scott Morrison <scott.morrison@gmail.com> Co-authored-by: Yakov Pechersky <ffxen158@gmail.com> Co-authored-by: Floris van Doorn <fpvdoorn@gmail.com>