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