Rank-3 scale theorems: Difference between revisions
| Line 79: | Line 79: | ||
(MV3 has not been used yet) | (MV3 has not been used yet) | ||
This in particular implies that xyzyx is not LQ. | |||
====== MV3 + EMOS implies PMOS (WIP) ====== | ====== MV3 + EMOS implies PMOS (WIP) ====== | ||