Azimuth Forum
Visit Site
A constant function from one preorder into a another is a monotone function.
Version 2.1.8p2