mathlib3

03074b12 - doc(algebra/{field_power, punit_instances}): module docs (#6097)

doc(algebra/{field_power, punit_instances}): module docs (#6097) Additionally `ordered_field` is aligned with the style guidelines. Co-authored-by: Julian-Kuelshammer <68201724+Julian-Kuelshammer@users.noreply.github.com>