Commit 2024-06-16 19:40 6e0b6297

View on Github →

feat(Finset/Lattice): add Finset.sup_eq_top_iff etc (#13641)

Estimated changes

modified theorem Finset.min_eq_top