mathlib
eabc6192 - feat(ring_theory/polynomial): mv_polynomial over UFD is UFD (#12866)

Commit

3 years ago

feat(ring_theory/polynomial): mv_polynomial over UFD is UFD (#12866) Co-authored-by: Kevin Buzzard <k.buzzard@imperial.ac.uk>

Author

alreadydone

Parents