mathlib3
fix(data/polynomial): change instance order in polynomial.subsingleton
#970

Merged

fix(data/polynomial): change instance order in polynomial.subsingleton #970

ChrisHughes24 merged 1 commit into master from poly-tc

fix(data/polynomial): change instance order in polynomial.subsingleton

98090771

robertylewis requested a review 6 years ago

digama0 approved these changes on 2019-05-02

ChrisHughes24 merged 6956daa2 into master 6 years ago

ChrisHughes24 deleted the poly-tc branch 6 years ago

Reviewers

digama0

Assignees

No one assigned

Labels

None yet

Milestone

No milestone