View source for List of equivalences

From LLWiki

← List of equivalences

Jump to: navigation, search

You do not have permission to edit this page, for the following reason:

The action you have requested is limited to users in the group: confirmed.

You can view and copy the source of this page:

== Multiplicatives ==

<math>
\begin{array}{rcccl}
A &\linequiv& A \tens (A\orth\parr A) &\linequiv& (A\tens A\orth)\parr A \\
& & A\parr A\orth &\linequiv& (A\parr A\orth)\tens(A\parr A\orth)
\end{array}
</math>

Return to List of equivalences.

Retrieved from "http://140.77.166.78/mediawiki/index.php/List_of_equivalences"

Views

Personal tools

Log in / create account

Search

Tools