Commit 2022-01-13 17:19 6446ba8f
View on Github →feat(ring_theory/{trace,norm}): add trace_gen_eq_next_coeff_minpoly and norm_gen_eq_coeff_zero_minpoly (#11420)
We add trace_gen_eq_next_coeff_minpoly
and norm_gen_eq_coeff_zero_minpoly
.
From flt-regular.