P
Initializing...
One-column separation from transpose injectivity · Prove2Me