12,144
edits
Changes
MyWikiBiz, Author Your Legacy — Wednesday November 05, 2025
Jump to navigationJump to search→Proof Example
) \overset{B}{\underset{C}{\Downarrow}}
) \overset{B}{\underset{C}{\Downarrow}}
) \overset{ }{\underset{C}{\Downarrow}}
) \overset{ }{\underset{C}{\Downarrow}}
\\ \\
=
\\ \\
((x \overset{ }{\underset{A}{\Downarrow}} ~
(y \overset{ }{\underset{B}{\Downarrow}} ~
K \overset{B}{\underset{A \Rightarrow B}{\Downarrow}}
) \overset{A}{\underset{B}{\Downarrow}}
) \overset{ }{\underset{B}{\Downarrow}} ~
(x \overset{ }{\underset{A}{\Downarrow}} ~
z \overset{A}{\underset{B \Rightarrow C}{\Downarrow}}
) \overset{B}{\underset{C}{\Downarrow}}
) \overset{ }{\underset{C}{\Downarrow}}
\\ \\
\\ \\
=
=
