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

Check all files imported

Check all files imported
succeeded Oct 24, 2024 in 39s