Skip to main content
Use amsthm to build consistent theorem, lemma, and proof sections.

Setup

Usage