Rank-3 scale theorems: Difference between revisions
Tags: Mobile edit Mobile web edit |
No edit summary Tags: Mobile edit Mobile web edit |
||
Line 99: | Line 99: | ||
X...XZZZ...Z (suffix = at most c+1 Z's) | X...XZZZ...Z (suffix = at most c+1 Z's) | ||
[get two intervals in w_Y two numbers of Z's, then get two numbers of Y's in w by the fact that w_X is a mos] | |||
====== PMOS implies AG (except in the case xyxzxyx) (WIP) ====== | ====== PMOS implies AG (except in the case xyxzxyx) (WIP) ====== |