</tr>
<tr>
<td class="snns capitalize italic green">propositions</td>
<td class="snns italic green">theorems</td>
</tr>
<tr>
<td class="snns capitalize italic green">propositions</td>
<td class="snns italic green">theorems</td>
<td class="snns top italic green" />
<td class="snns top green">rtmap</td>
<td class="snnn top green">rtmap_eq ( ? ≗ ? )</td>
<td class="snns top italic green" />
<td class="snns top green">rtmap</td>
<td class="snnn top green">rtmap_eq ( ? ≗ ? )</td>
<td class="snnn top green">rtmap_tl ( ⫱? )</td>
<td class="snnn top green">rtmap_tls ( ⫱*[?]? )</td>
<td class="snnn top green">rtmap_isid ( 𝐈⦃?⦄ )</td>
<td class="snnn top green">rtmap_tl ( ⫱? )</td>
<td class="snnn top green">rtmap_tls ( ⫱*[?]? )</td>
<td class="snnn top green">rtmap_isid ( 𝐈⦃?⦄ )</td>
<td class="snnn top green">rtmap_sor ( ? ⋓ ? ≡ ? )</td>
<td class="snnn top green">rtmap_at ( @⦃?,?⦄ ≡ ? )</td>
<td class="snnn top green">rtmap_istot ( 𝐓⦃?⦄ )</td>
<td class="snnn top green">rtmap_sor ( ? ⋓ ? ≡ ? )</td>
<td class="snnn top green">rtmap_at ( @⦃?,?⦄ ≡ ? )</td>
<td class="snnn top green">rtmap_istot ( 𝐓⦃?⦄ )</td>
<td class="snnn top green">nstream_eq</td>
<td class="snnn top green" />
<td class="snnn top green" />
<td class="snnn top green">nstream_eq</td>
<td class="snnn top green" />
<td class="snnn top green" />
<td class="snnn top green">nstream_isid</td>
<td class="snnn top green">nstream_id ( 𝐈𝐝 )</td>
<td class="snnn top green" />
<td class="snnn top green">nstream_isid</td>
<td class="snnn top green">nstream_id ( 𝐈𝐝 )</td>
<td class="snnn top green" />
<td class="snnn top green" />
<td class="snnn top green" />
<td class="snnn top green">nstream_istot ( ?@❴?❵ )</td>
<td class="snnn top green" />
<td class="snnn top green" />
<td class="snnn top green">nstream_istot ( ?@❴?❵ )</td>