Theorems and proofs - tbook 1.5.2

Up: Elements reference

9.9 Theorems and proofs

Element theorem: (mathematical) theorem etc.
Element proof: mathematical proof.