mathlib3
a518fb86 - feat(data/list/basic): take_init, take_eq_nil (#6380)

Commit

5 years ago

feat(data/list/basic): take_init, take_eq_nil (#6380)

Author

pechersky

pechersky

Parents

Loading