| ▲ | kps 3 hours ago | ||||||||||||||||
I think there's a proof that he can at best asymptotically approach volume 7. | |||||||||||||||||
| ▲ | wolfi1 3 hours ago | parent [-] | ||||||||||||||||
but what distraction could it be now? There seems to be nothing to be done for TeX | |||||||||||||||||
| |||||||||||||||||
| ▲ | kps 3 hours ago | ||||||||||||||||
I think there's a proof that he can at best asymptotically approach volume 7. | |||||||||||||||||
| ▲ | wolfi1 3 hours ago | parent [-] | ||||||||||||||||
but what distraction could it be now? There seems to be nothing to be done for TeX | |||||||||||||||||
| |||||||||||||||||