Mathlib v3 is deprecated. Go to Mathlib v4

Theorem set.univ_unique

Modification history

2022-01-09 18:06

src/data/set/basic.lean

chore(*): update to 3.37.0c (#11325) …

Modified set.univ_unique View on Github →

2021-12-02 14:23

src/data/set/basic.lean

feat(data/finset/*): Diverse lemmas (#10388) …

Added set.univ_unique View on Github →