Commit 2021-05-02 04:27 cfc74155
View on Github →feat(field_theory/polynomial_galois_group): Galois group is S_p (#7352) Proves that a Galois group is isomorphic to S_p, under certain conditions.
feat(field_theory/polynomial_galois_group): Galois group is S_p (#7352) Proves that a Galois group is isomorphic to S_p, under certain conditions.