Mathlib Changelog
v4
Changelog
About
Github
Theorem
Finset.sup_closed_of_sup_closed
Modification history
2023-09-04 13:18
Mathlib/Data/Finset/Lattice.lean
feat: Sup-closed sets (#6901) …
Deleted
Finset.sup_closed_of_sup_closed
View on Github →
2023-01-17 10:40
Mathlib/Data/Finset/Lattice.lean
feat: port Data.Finset.Lattice (#1606)
Added
Finset.sup_closed_of_sup_closed
View on Github →