P
Initializing...
§VI: exact noiseless-dimension converse · Prove2Me