localTheorem.sty 4.63 KB