mathlib
1cfdf5f3 - chore(linear_algebra/*): Lint (#16362)

Commit

3 years ago

chore(linear_algebra/*): Lint (#16362) Satisfy the `fintype_finite` and `fails_quickly` linters.

Author

YaelDillies

Parents