Personal collection of definitions, theorems, lemmas, proofs, etc.