P
Initializing...
Theorem 1.1 in the $\kappa$-framework — $\mathrm{KappaBound}(0)$: multiplication in time $O(n\lg n)$ · Prove2Me