mathlib3
d2ae43f6 - feat(data/list/basic): lemmas about nth of take and append (#5449)

Commit

5 years ago

feat(data/list/basic): lemmas about nth of take and append (#5449)

Author

pechersky

pechersky

Parents

Loading