S-expression: Difference between revisions
m →Using S-factorizations to show a useful equivalence (and hence redundancy) of S-expressions: change subheader name |
|||
| Line 1,810: | Line 1,810: | ||
|- | |- | ||
| [[243/242]] | | [[243/242]] | ||
| S9/S11 = S15/ | | S9/S11 = S15/[[3025/3024|S55]] | ||
|- | |- | ||
| [[325/324]] | | [[325/324]] | ||