mathlib3
fix(data/polynomial): change instance order in polynomial.subsingleton
#970
Merged
Merged