mathlib3
63bbd1c3
- feat(data/list/basic): index_of_inj (#954)
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
6 years ago
feat(data/list/basic): index_of_inj (#954) * feat(data/list/basic): index_of_inj * make it an iff
References
#954 - feat(data/list/basic): index_of_inj
Author
ChrisHughes24
Committer
mergify[bot]
Parents
3478f1f6
Loading