reproduce Oxford 2023 "Rings & Modules" notes

Software

Mainly use Gnu TeXmacs (for efficiency and similar to LaTeX layout)

Others:

• Google doc (for text OCR)
• Mathpix (for math OCR)
• VScode editor regex replace tool (to add environment Theorem,Lemma,Proposition,Observation,Proof,Remark,Example,Definition in .tm source code)