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

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

mergify merged 1 commit into master from rwbarton-move-polynomial
rwbarton
rwbarton refactor(topology/algebra/polynomial): move topology.instances.polyno…
fa02b40a
sgouezel
sgouezel approved these changes on 2019-10-09
sgouezel sgouezel added ready-to-merge
mergify mergify merged 45633aa0 into master 6 years ago
mergify mergify deleted the rwbarton-move-polynomial branch 6 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
Milestone