basic): make chain.nil a simp lemma
#1414

Merged

feat(data/list/basic): make chain.nil a simp lemma #1414

mergify merged 2 commits into master from list_chain_nil

feat(data/list/basic): make chain.nil a simp lemma

8b35545e

kim-em requested a review 7 years ago

ChrisHughes24 approved these changes on 2019-09-08

ChrisHughes24 added ready-to-merge

Merge branch 'master' into list_chain_nil

c5c12b76

mergify merged 37b67460 into master 7 years ago

mergify deleted the list_chain_nil branch 7 years ago

Reviewers

ChrisHughes24

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone