feat(data/fintype/basic): add missing bounded_order instance for finset (#17370)
feat(data/fintype/basic): add missing bounded_order instance for finset (#17370)






leanprover-community/mathlib,leanprover-community/mathlib