mathlib3
fix(data/mv_polynomial): generalize equivs to comm_semiring
#1621

Merged

fix(data/mv_polynomial): generalize equivs to comm_semiring #1621

mergify merged 2 commits into master from mv-poly-timeout

fix(data/mv_polynomial): generalize equivs to comm_semiring

eb1bd2ee

kim-em approved these changes on 2019-10-27

kim-em added ready-to-merge

Merge branch 'master' into mv-poly-timeout

3a4da5a7

mergify merged 89ece147 into master 6 years ago

mergify deleted the mv-poly-timeout branch 6 years ago

Reviewers

kim-em

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone