tower): remove a duplicate instance (#9302)

Commit

4 years ago

chore(ring_theory/polynomial/tower): remove a duplicate instance (#9302) `apply_instance` already finds a much more general statement of this instance.

Author

eric-wieser

Parents

c2d8a58d

mathlib ae726e10 - chore(ring_theory/polynomial/tower): remove a duplicate instance (#9302)

mathlib
ae726e10 - chore(ring_theory/polynomial/tower): remove a duplicate instance (#9302)