slides/mathpartir.sty
changeset 986 0e4c5d802f9d
parent 95 dbe49327b6c5