mathlib
8bf9fd58 - chore(data/list): drop `list.is_nil` (#7269)

Commit

4 years ago

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

Author

urkud

urkud

Parents

Loading