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