Def Set.compl

Modification history

2022-12-22 16:59

Mathlib/Init/Set.lean

feat port: Data.Set.Lattice (#1121) …

Deleted Set.compl View on Github →

2021-05-25 13:38

Mathlib/Set.lean

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

Added Set.compl View on Github →