journal.pdf
author zhangx
Fri, 21 Apr 2017 20:17:13 +0800
changeset 160 83da37e8b1d2
parent 159 023bdcc221ea
child 161 f1d82f6c05a3
permissions -rw-r--r--
"up_to" added and main theorems improved.

(binary:application/pdf)