Name Last modified Size Parent Directory - principia.sty 2023-03-13 19:25 39K principia.tex 2023-03-13 19:26 54K List_of_Definitions.tex 2023-03-13 19:32 61K principia.pdf 2023-03-13 19:33 245K List_of_Definitions.pdf 2023-03-13 19:32 267K