![math mode - Create a claim environment for nested claims inside theorem proofs using thmtools - TeX - LaTeX Stack Exchange math mode - Create a claim environment for nested claims inside theorem proofs using thmtools - TeX - LaTeX Stack Exchange](https://i.stack.imgur.com/aA6ni.png)
math mode - Create a claim environment for nested claims inside theorem proofs using thmtools - TeX - LaTeX Stack Exchange
![amsmath - How to obtain claim numbered within proof without changing the default look - TeX - LaTeX Stack Exchange amsmath - How to obtain claim numbered within proof without changing the default look - TeX - LaTeX Stack Exchange](https://i.stack.imgur.com/aOrch.png)
amsmath - How to obtain claim numbered within proof without changing the default look - TeX - LaTeX Stack Exchange
![math mode - Create a claim environment for nested claims inside theorem proofs using thmtools - TeX - LaTeX Stack Exchange math mode - Create a claim environment for nested claims inside theorem proofs using thmtools - TeX - LaTeX Stack Exchange](https://i.stack.imgur.com/gLWZk.png)
math mode - Create a claim environment for nested claims inside theorem proofs using thmtools - TeX - LaTeX Stack Exchange
![cross referencing - How can I create a "Proof of Theorem x.xx" header for a proof environment? - TeX - LaTeX Stack Exchange cross referencing - How can I create a "Proof of Theorem x.xx" header for a proof environment? - TeX - LaTeX Stack Exchange](https://i.stack.imgur.com/mfDDj.png)