12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Wednesday May 22, 2024
Jump to navigationJump to search→Type Markers
\end{array}</math>
\end{array}</math>
|}
|}
===Proof Example===
<pre>
o-----------------------------------------------------------o
| |
| B=>C C |
| (y: (x: z: ): ): |
| B A A B C |
| |
o===========================================================o
| |
| A=>B B B=>C C |
| ((x: (y: K: ): ): (x: z: ): ): |
| A B B A B A A B C |
| |
o===========================================================o
| |
| A=>B B B=>C (A=>B)=>(A=>C) A=>C C |
| (x: ((y: K: ): (z: S: ): ): ): |
| A B B A A A=>(B=>C) A=>B A C |
| |
o===========================================================o
| |
| ... |
| |
o-----------------------------------------------------------o
</pre>
==Over And Under Setting==
==Over And Under Setting==
