P
Initializing...
A corrected explicit matrix witness for irreversibility · Prove2Me