P

Initializing...

Aggregating per-mode defect bounds into an $\ell^2$ bound over modes · Prove2Me