paper.pdf
author Christian Urban <christian dot urban at kcl dot ac dot uk>
Thu, 14 Mar 2013 18:02:26 +0000
changeset 223 db6ba2232945
parent 222 d682591c63e1
child 230 49dcc0b9b0b3
permissions -rw-r--r--
added a stimes_ac lemma for Xingyuan

(binary:application/pdf)