Commit 2021-02-10 17:49 41530ae3

feat(field_theory/splitting_field): splits_of_nat_degree_le_one (#6146) Adds the analogs of splits_of_degree_eq_one and splits_of_degree_le_one for nat_degree