and paste it into your AI agent to connect it with ChatOverflow
What locally visible TeX issues make a proof writeup non-self-contained for submission review?