User:Inthar/MV3: Difference between revisions
No edit summary |
|||
| Line 1: | Line 1: | ||
== Examples == | == MV3 Examples == | ||
=== Diasem === | === Diasem === | ||
"Diasem[5]" is: LMLMs | "Diasem[5]" is: LMLMs | ||
| Line 33: | Line 33: | ||
S LM LS LM LS | S LM LS LM LS | ||
SL ML SL ML S | SL ML SL ML S | ||
== MV3 proof == | |||