Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-03-09 17:49 51c31cea

View on Github →

refactor(data/list): rm redundant eq_nil_of_forall_not_mem (#804)

Estimated changes