Mathlib v3 is deprecated. Go to Mathlib v4

Theorem list.append_eq_nil

Modification history

2018-04-24 22:18

data/list/basic.lean

fix(*): update to lean

Modified list.append_eq_nil View on Github →

2018-02-15 11:21

data/list/basic.lean

feat(data/list): add append_eq_nil and update_nth_eq_nil

Added list.append_eq_nil View on Github →