P
Initializing...
The κ bound, conditional only on uniform Prop 14 at some gate constant A ≤ Wc² · Prove2Me