Def Set.univ

Modification history

2022-06-23 18:33

Mathlib/Init/Set.lean

chore: fix unused variables from linter (#289) …

Modified Set.univ View on Github →

2021-05-25 13:38

Mathlib/Set.lean

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

Added Set.univ View on Github →