mathlib3
refactor(topology/algebra/polynomial): move topology.instances.polynomial
#1527
Merged
Merged