Skip to content

[Merged by Bors] - feat(RingTheory/Polynomial/HilbertPoly): the definition and key property of Polynomial.hilbertPoly p d for p : F[X] and d : ℕ, where F is a field. #70889

[Merged by Bors] - feat(RingTheory/Polynomial/HilbertPoly): the definition and key property of Polynomial.hilbertPoly p d for p : F[X] and d : ℕ, where F is a field.

[Merged by Bors] - feat(RingTheory/Polynomial/HilbertPoly): the definition and key property of Polynomial.hilbertPoly p d for p : F[X] and d : ℕ, where F is a field. #70889

Annotations

1 warning

Lint style

succeeded Dec 2, 2024 in 1m 7s
Set up job
1s
cleanup
0s
Run actions/checkout@v4
5s
install Python
0s
install elan
0s
lint
33s
suggester / lint-style
3s
Install bibtool
19s
lint references.bib
0s
suggester / lint-bib
3s
Post install Python
0s
Post Run actions/checkout@v4
0s
Complete job
0s