Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-12-17 12:40 21ce5318

View on Github →

fix(data/list): fix build

Estimated changes

Modified data/equiv/list.lean

Modified data/list/sigma.lean

modified theorem list.nodupkeys_nil