Commit 2026-03-02 13:09 a5bb6b1a

chore(Tactic): rewrite field/field_simp tactic documentation (#35814) This PR (re)writes the docstrings for the field and field_simp tactics, to consistently match the official style guide, to make sure they are complete while not getting too long. In particular, this makes precise what goals are given to the default discharger and what it tries to do to discharge them; and structures the documentation into sections consistent with the style guide.