Name Last modified Size Description![[PARENTDIR]](/__ovh_icons/back.gif){kind=icon}
Parent Directory -
![[ ]](/__ovh_icons/tex.gif){kind=icon}
Derivation.tex 2026-05-15 18:42 3.9K
![[ ]](/__ovh_icons/compressed.gif){kind=icon}
Derivation.synctex.gz 2026-05-15 18:42 14K
![[ ]](/__ovh_icons/layout.gif){kind=icon}
Derivation.pdf 2026-05-15 18:42 133K
![[ ]](/__ovh_icons/unknown.gif){kind=icon}
Derivation.out 2026-05-15 18:42 0
![[TXT]](/__ovh_icons/text.gif){kind=icon}
Derivation.log 2026-05-15 18:42 44K
Derivation.aux 2026-05-15 18:42 845