Skip to content
lint and suggest

feat(FieldTheory/Minpoly): minpoly K x splits implies minpoly K (algebraMap K L a - x) splits #63242

Sign in to view logs

feat(FieldTheory/Minpoly): minpoly K x splits implies minpoly K (algebraMap K L a - x) splits

feat(FieldTheory/Minpoly): minpoly K x splits implies minpoly K (algebraMap K L a - x) splits #63242

Triggered via pull request October 28, 2024 08:40
@jjdisherejjdishere
synchronize #17369
jiedong_jiang_neg_split
Status Success
Total duration 1m 18s
Artifacts –

lint_and_suggest_pr.yml

on: pull_request
Lint style
1m 9s
Lint style
Check all files imported
34s
Check all files imported
Fit to window
Zoom out
Zoom in