mathlib3
feat(ring_theory/polynomial): hilbert basis theorem
#649
Merged
Overview
Commits
1
Changes
View On GitHub

feat(ring_theory/polynomial): hilbert basis theorem #649

johoelzl merged 1 commit into leanprover-community:master from leanprover-fork:ring-theory-polynomial
kckennylau
kckennylau feat(ring_theory/polynomial): hilbert basis theorem
fa6b1db3
johoelzl johoelzl merged afa535e7 into master 6 years ago
johoelzl johoelzl deleted the ring-theory-polynomial branch 6 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum