Def setOf

Modification history

2026-07-17 09:57

Mathlib/Data/Set/Defs.lean

chore(Data): rename `setOf` to `Set.ofPred` (#41507) …

Deleted setOf View on Github →

2021-05-25 13:38

Mathlib/Set.lean

feat(Set): port Lean 3 init.data.set (#8) …

Added setOf View on Github →