Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-02-06 01:48 94033d8e

View on Github →

feat(data/list/basic): simp iffs about *fix nil (#6064)

Estimated changes

Modified src/data/list/basic.lean

added theorem list.eq_nil_iff_infix_nil

added theorem list.eq_nil_iff_prefix_nil

added theorem list.eq_nil_iff_suffix_nil