mathlib
afa535e7 - feat(ring_theory/polynomial): hilbert basis theorem

Commit

6 years ago

feat(ring_theory/polynomial): hilbert basis theorem

References

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

Author

kckennylau

kckennylau

Committer

johoelzl

johoelzl

Parents

Loading