Def Set

Modification history

2026-10-13 14:51

Mathlib/Data/Set/Defs.lean

refactor(Data): make `Set` a one-field structure (#41506) …

Deleted Set View on Github →

2021-05-25 13:38

Mathlib/Set.lean

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

Added Set View on Github →