[Merged by Bors] - feat: Fintype
instance for an extended family of linearly independent vectors
#59015
Job | Run time |
---|---|
1m 37s | |
58s | |
2m 35s |