mathlib3

315bff39 - feat(archive/100-theorems-list/37_solution_of_cubic): golf (#13012)

feat(archive/100-theorems-list/37_solution_of_cubic): golf (#13012) Express one of the lemmas for the solution of the cubic as a giant `linear_combination` calculation.