algebra): ring equiv for mv_polynomial
#644

Merged

feat(data/equiv/algebra): ring equiv for mv_polynomial #644

johoelzl merged 1 commit into leanprover-community:master from leanprover-fork:polynomial-equiv

feat(data/equiv/algebra): ring equiv for mv_polynomial

11c2ad57

johoelzl merged 7cfcce3d into master 7 years ago

johoelzl deleted the polynomial-equiv branch 7 years ago

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Milestone

No milestone