June 2018 – Math Research of Victor Porton

A conjecture proved

I have proved the conjecture that for every endoreloid . The easy proof is currently available in this file.

I have proved (the proof is currently available in this file) that are components of a pointfree funcoid between boolean

I have updated my math book with new (easy but) general theorem similar to this (but in other notation): Theorem

I updated my math research book to use “weakly down-aligned” and “weakly up-aligned” instead of “down-aligned” and “up-aligned” (see the book for the