slides/mathpartir.sty
changeset 763 d1c9294fff65
parent 95 dbe49327b6c5