Commit 2022-07-18 17:22 bcc2c4e4
View on Github →refactor(data/finset/lattice): sup' and inf' without option (#15195)
Hide the option API further, by using unbot
and untop
.
refactor(data/finset/lattice): sup' and inf' without option (#15195)
Hide the option API further, by using unbot
and untop
.