mathlib3
a26b4ee8
- feat(data/list/infix): drop_while and take_while suf/prefix (#15473)
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
3 years ago
feat(data/list/infix): drop_while and take_while suf/prefix (#15473)
Author
pechersky
Parents
925d8909
Loading