Name Last modified Size Parent Directory - List-of-Definitions.pdf 2025-03-14 03:21 268K List-of-Definitions.tex 2025-03-14 03:55 65K principia.pdf 2025-03-14 03:20 234K principia.sty 2025-03-14 03:55 42K principia.tex 2025-03-14 03:55 56K