Codex is a compilation of my personal math notes.
Structure
Codex is organized by branches and topics. Each page discusses a specific concept.
Example: Inverse Function is a concept from the topic Functions, which belongs to the branch Set Theory.
Every page (i.e. every concept) is identified by a unique slug, which consists of up to 8 uppercase letters.
Example: The slug of Generated Subgroup is
GEN.
Codex mostly consists of entries, which look like this:
Each entry could either be an axiom, a definition, a proposition or a remark. Here, proposition is a generalized term for mathematical results, including theorems, lemmas, etc.
Other Notes
We work in $\ZF$ by default.