Commit 2020-12-14 13:16 dad88d8c
View on Github →feat(field_theory/splitting_field): add splits_X theorem (#5343) This is a handy result and isn't definitionally a special case of splits_X_sub_C
feat(field_theory/splitting_field): add splits_X theorem (#5343) This is a handy result and isn't definitionally a special case of splits_X_sub_C