Commit 2022-03-03 19:27 3b0111b9
View on Github →feat(field_theory/minpoly): add minpoly_add_algebra_map and minpoly_sub_algebra_map (#12357) We add minpoly_add_algebra_map and minpoly_sub_algebra_map: the minimal polynomial of x ± a. From flt-regular