Start a new discussion

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorTim Campion
• CommentTimeFeb 3rd 2019

Added a few additional descriptions of $\Box_{\leq 1}$, which is the same as $\Delta_{\leq 1}$.