12,080
edits
Changes
→Transposer T
|
|
<math>\begin{array}{l}
<math>\begin{array}{l}
(y \underset{B}{\Downarrow} ~
(y \overset{ }{\underset{B}{\Downarrow}} ~
(x \underset{A}{\Downarrow} ~
(x \overset{ }{\underset{A}{\Downarrow}} ~
z \overset{B \Rightarrow C}{\underset{A}{\Downarrow}}
z \overset{A}{\underset{B \Rightarrow C}{\Downarrow}}
) \overset{C}{\underset{B}{\Downarrow}}
) \overset{B}{\underset{C}{\Downarrow}}
) \underset{C}{\Downarrow}
) \overset{ }{\underset{C}{\Downarrow}}
\\ \\
\\ \\
=
=