Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-07-30 10:25 8d4f582c

View on Github →

chore(data/list): add prod.erase; cleanup

Estimated changes

Modified data/list/basic.lean

added theorem list.eq_or_ne_mem_of_mem

added theorem list.prod_erase

modified theorem list.take'_eq_take