mathlib

ba43f6f1 - doc(field_theory/finite/basic): update doc-strings (#5134)

doc(field_theory/finite/basic): update doc-strings (#5134) The documentation mentions `finite_field.is_cyclic` that does not exist (probably replaced by `subgroup_units_cyclic` in `ring_theory.integral_domain`).