Skip to content
Check PR titles

feat(RingTheory/Polynomial/Hermite): the Hermite polynomials have n simple real roots #39138

Sign in to view logs

feat(RingTheory/Polynomial/Hermite): the Hermite polynomials have n simple real roots

feat(RingTheory/Polynomial/Hermite): the Hermite polynomials have n simple real roots #39138

Triggered via pull request September 7, 2026 13:08
@ghostghost
opened #43534
Status Success
Total duration 1m 29s
Artifacts –

check_pr_titles.yaml

on: pull_request_target
check_title
1m 26s
check_title
Fit to window
Zoom out
Zoom in