I’ve proved this conjecture.

See my book (which also contains a pointfree version of this theorem).

Leave a Reply

Your email address will not be published. Required fields are marked *