Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-03-11 02:38 b5a26d0a

View on Github →

feat(data/list/basic): Lists over empty type are unique (#12582)

Estimated changes