I’ve proved this conjecture.

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

Skip to content

I’ve proved this conjecture.

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