inf' docstring (#7281)

Commit

4 years ago

fix(data/finset/lattice): sup'/inf' docstring (#7281) Made proper reference to `f` in the doc string.

Author

agjftucker

Parents