Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-08-02 12:48 5b4b208c

View on Github →

feat(data/fintype): univ_unique (#1289)

Estimated changes

added theorem univ_unique