</td>
<td class="snns capitalize magenta">
<a href="http://lambdadelta.info/news.html#milestones">milestones</a>
</td>
<td class="snns capitalize magenta">
<a href="http://lambdadelta.info/news.html#milestones">milestones</a>
<a href="http://lambdadelta.info/implementation.html#helena">helena</a>
</td>
<td class="ssnn capitalize green">
<a href="http://lambdadelta.info/implementation.html#helena">helena</a>
</td>
<td class="ssnn capitalize green">
</td>
<td class="snss capitalize magenta">
<a href="http://lambdadelta.info/news.html#visibility">visibility</a>
</td>
<td class="snss capitalize magenta">
<a href="http://lambdadelta.info/news.html#visibility">visibility</a>
</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 water" />
<td class="snns top water">rtc ( 〈?,?,?,?〉 ) ( 𝟘𝟘 ) ( 𝟙𝟘 ) ( 𝟘𝟙 )</td>
<td class="snns top italic water" />
<td class="snns top water">rtc ( 〈?,?,?,?〉 ) ( 𝟘𝟘 ) ( 𝟙𝟘 ) ( 𝟘𝟙 )</td>
<td class="snnn top water">rtc_shift ( ↓? )</td>
<td class="snnn top water">rtc_plus ( ? + ? )</td>
<td class="snnn top water">
<td class="snnn top water">rtc_shift ( ↓? )</td>
<td class="snnn top water">rtc_plus ( ? + ? )</td>
<td class="snnn top water">
<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>