Improve the readability and exposition of mathematical proofs that are already verified as correct, without changing their mathematical content. Use when the user asks to polish, edit, or improve the readability/exposition/presentation of a proof, lemma, or appendix; after a co-math prover/reviewer cycle accepts a proof; or on "make this proof readable", "polish this proof", "improve the exposition", "readability pass".
