[Merged by Bors] - feat: Fintype instance for an extended family of linearly independent vectors

[Merged by Bors] - feat: Fintype instance for an extended family of linearly independent vectors #22626