12,080
edits
Changes
→Transposer T
===Transposer T===
===Transposer T===
{| align="center" cellpadding="8" width="90%"
{| align="center" cellpadding="8" width="90%"
=
=
\\ \\
\\ \\
(x: (y: (z: T: ): ): ):
(x \overset{ }{\underset{A}{\Downarrow}} ~
(y \overset{ }{\underset{B}{\Downarrow}} ~
(z \overset{A}{\underset{B \Rightarrow C}{\Downarrow}} ~
T \overset{A \Rightarrow (B \Rightarrow C)}{\underset{B \Rightarrow (A \Rightarrow C)}{\Downarrow}}
) \overset{B}{\underset{A \Rightarrow C}{\Downarrow}}
) \overset{A}{\underset{C}{\Downarrow}}
) \overset{ }{\underset{C}{\Downarrow}}
\end{array}</math>
\end{array}</math>
|}
|}