Template:Definition
Directly from the definitions, we have:
Template:Proposition
Template:Proof
Template:BookCat