mathlib3

6956daa2 - fix(data/polynomial): change instance order in polynomial.subsingleton (#970)