Skip to content
Back to pull request #17369

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

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 #62497

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Lint style
1m 5s
Check all files imported
39s
1m 44s