Azimuth Forum
Visit Site
Show that the product of two preorders is a preorder.
Version 2.1.8p2