@zanzi I expect it to be a more complicated version of the tensor product, which in Kmett's source code looks like this:
=> More informations about this toot | View the thread | More toots from julesh@mathstodon.xyz
=> View zanzi@mathstodon.xyz profile
text/gemini
This content has been proxied by September (3851b).