P
Initializing...
Pattern Rule 2: adding a second-row box to a one-row tableau · Prove2Me