Rank-3 scale theorems: Difference between revisions

@@ Line 135: / Line 135: @@
 ==== An AG scale is unconditionally MV3 iff its cardinality is odd ====
-We only need to see that AG + odd cardinality => MV3. But the argument in case 2 above works for any interval class (MV3 wasn't used), hence any interval class comes in at most 3 sizes.
+We only need to see that AG + odd cardinality => MV3. But the argument in case 2 above works for any interval class (MV3 wasn't used), hence any interval class comes in at most 3 sizes regardless of tuning.
 ==== An even-cardinality MV3 is of the form W(x,y,z)W(y,x,z) (WIP) ====