feat(archive/imo/imo2001_q6): golf using `linear_combination` (#13205)
feat(archive/imo/imo2001_q6): golf using `linear_combination` (#13205)






leanprover-community/mathlib,leanprover-community/mathlib