mathlib
ab7d39b0 - feat(data/vector2): update_nth (#1334)

Commit

7 years ago

feat(data/vector2): update_nth (#1334) * feat(data/vector2): update_nth * naming and docstrings * remove double namespace fom vector.nth_mem

References

Author

ChrisHughes24

Committer

mergify[bot]

Parents