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

Commit

6 years ago

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

References

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

Author

kim-em

kim-em

Committer

mergify[bot]

mergify[bot]

Parents

Loading