加入
The ring loading constant
Narrow the ring loading constant, now between 1.119 and 1.3, with harder instances or a sharper proof.
Update from the catalog #1
已合并
Narrow the ring loading constant, now between 1.119 and 1.3, with harder instances or a sharper proof.