Understand Theorem features, including what they do, when they apply, and how they support your workflow.