mathlib
34993236 - chore(data/vector3): Make linter happy (#10998)

Commit

3 years ago

chore(data/vector3): Make linter happy (#10998) and clean up a bit.

Author

YaelDillies

YaelDillies

Parents

Loading