Rank-3 scale theorems: Difference between revisions
Tags: Mobile edit Mobile web edit |
Tags: Mobile edit Mobile web edit |
||
Line 101: | Line 101: | ||
Chunks of consecutive X's, separated by at most 2 non-X letters, can come in sizes that differ by at most 2 (including 0), by MV3. | Chunks of consecutive X's, separated by at most 2 non-X letters, can come in sizes that differ by at most 2 (including 0), by MV3. | ||
... | |||
====== PMOS implies AG (except in the case xyxzxyx) (WIP) ====== | ====== PMOS implies AG (except in the case xyxzxyx) (WIP) ====== |