Azimuth Forum
Visit Site
am I right in thinking the proof that \\(f\dashv g \implies g(b) = \sup A_b\\) does not at any point use the monotonicity of \\(f\\) or \\(g\\)?
Version 2.1.8p2