lattice): add sup_eq_bot_iff and inf_eq_top_iff (#10596)

Commit

4 years ago

feat(data/finset/lattice): add sup_eq_bot_iff and inf_eq_top_iff (#10596) From flt-regular.

Author

alexjbest

Parents