mathlib

bcc2c4e4 - refactor(data/finset/lattice): sup' and inf' without option (#15195)

refactor(data/finset/lattice): sup' and inf' without option (#15195) Hide the option API further, by using `unbot` and `untop`. Co-authored-by: Yakov Pechersky <ffxen158@gmail.com>