Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-04-20 03:28 8bf9fd58

View on Github →

chore(data/list): drop list.is_nil (#7269) We have list.empty in Lean core.

Estimated changes

Modified src/data/list/basic.lean

added theorem list.empty_iff_eq_nil

deleted theorem list.is_nil_iff_eq_nil

Modified src/data/list/defs.lean

deleted def list.is_nil