slides/mathpartir.sty
changeset 827 67c8a6e6a305
parent 95 dbe49327b6c5