This package provides lightweight infrastructure for bidirectional linking between theorem-like environments and their corresponding proofs. It automatically adds a Proof hyperlink at the end of a theorem and a restated version with a Return link inside the proof. This is useful for mathematical writing and documentation, where proof navigation is essential.