Stream goes by the same name. I guess, now it's not hidden anymore?
.
It is for discussing the theorems, which are related,but not mainstream
Last updated: Sep 23 2023 at 06:01 UTC