[Merged by Bors] - feat(RingTheory/Polynomial/Hilbert): Polynomial.exists_unique_hilbertPoly and Polynomial.hilbertPoly_mul_one_sub_pow_add#19404
Closed
FMLJohn wants to merge 18 commits intomasterfrom hilbert_property
+62-4
Commits
Commits on Nov 20, 2024
- committed
- committed
Commits on Nov 21, 2024
- committed
Commits on Nov 23, 2024
Commits on Nov 26, 2024
- committed
- committed
Commits on Nov 28, 2024
Commits on Nov 30, 2024
Commits on Dec 3, 2024
Commits on Dec 4, 2024
- committed
- committed
- committed