mathlib

45732987 - doc(field_theory/splitting_field): update code example to reflect changes to diamond issues (#15620)

doc(field_theory/splitting_field): update code example to reflect changes to diamond issues (#15620) We now have infrastructure in place to avoid diamonds in nat/int/rat algebras, so we can't appeal to a lack of it when explaining diamond issues.