Theorem Set.antitone_setOf

Modification history

2026-07-17 09:57
Mathlib/Data/Set/Order.lean
chore(Data): rename `setOf` to `Set.ofPred` (#41507) …
Deleted Set.antitone_setOfView on Github →
2025-03-04 11:47
Mathlib/Data/Set/Basic.lean
chore: split long file Mathlib.Data.Set.Basic (#22484)
Modified Set.antitone_setOfView on Github →
2022-12-23 16:03
Mathlib/Data/Set/Basic.lean
chore: move basic lemmas to basic files (#1109) …
Modified Set.antitone_setOfView on Github →
2022-12-22 16:59
Mathlib/Data/Set/Lattice.lean
feat port: Data.Set.Lattice (#1121) …
Added Set.antitone_setOfView on Github →