Azimuth Forum
Visit Site
Hi John, there are a couple of typos in the proof:
"To prove that sometimes", the meet is used rather than the join.
The same error in the line above the QED.
Version 2.1.8p2