> [! note] Work in Progress > Goal: create explicit statement of theorem to maximize accuracy of generative model embedding > Supplement Axler notation: add unique definition, theorem, lemma, notation naming and indexing. Add Th-5-33; Def-6-7; Lemma-4-17; Notation-6-12; > Note: Change all dot notation to hyphen to avoid conflicts with Regex, search > - Students then can use explicit reference to theorem or proof in text as foundation for queries to extend proofs or exercises. E.g. change F to explore p-adic fields; change from finite to infinite fields and vector spaces;