mathlib3
b8b87559 - feat(data/list/basic): repeat injectivity (#6337)

Commit
4 years ago
feat(data/list/basic): repeat injectivity (#6337) Co-authored-by: Yury G. Kudryashov <urkud@urkud.name>
Author
Parents
Loading