mathpartir.sty
changeset 33 e9288308dbcf
parent 0 8d6145cea799
equal deleted inserted replaced
32:f91255f99205 33:e9288308dbcf