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