prop:block (ii): $\operatorname{tr} P \le N_{\mathrm{on}}(I')$ · Prove2Me

P

Initializing...

prop:block (ii): $\operatorname{tr} P \le N_{\mathrm{on}}(I')$ · Prove2Me