Thanks to you and Nesov for the references. I didn’t know this stuff and it looks like it might come in handy.
Thanks to you and Nesov for the references. I didn’t know this stuff and it looks like it might come in handy.