In this blog post I announced that I am going to change the definition of order of pointfree funcoids in my book.
Now in the last preprint the changes are done.
In this blog post I announced that I am going to change the definition of order of pointfree funcoids in my book.
Now in the last preprint the changes are done.