P
Initializing...
§8 — the rank defined from circuits satisfies (R₁), (R₂), (R₃) · Prove2Me