Commit 2022-07-18 17:22 bcc2c4e4

refactor(data/finset/lattice): sup' and inf' without option (#15195) Hide the option API further, by using unbot and untop.

modified theorem finset.inf'_const

modified theorem finset.max'_mem

modified theorem finset.min'_mem