fix(data/finset/lattice): sup'/inf' docstring (#7281)
fix(data/finset/lattice): sup'/inf' docstring (#7281)

Made proper reference to `f` in the doc string.





leanprover-community/mathlib,leanprover-community/mathlib