I have added a new easy (but unnoticed before) theorem to my book:

**Proposition** $latex (\mathsf{RLD})_{\mathrm{out}} f\sqcup (\mathsf{RLD})_{\mathrm{out}} g = (\mathsf{RLD})_{\mathrm{out}}(f\sqcup g)$ for funcoids $latex f$, $latex g$.

Skip to content
#
Math Research of Victor Porton

Several math research monographies

I have added a new easy (but unnoticed before) theorem to my book:

**Proposition** $latex (\mathsf{RLD})_{\mathrm{out}} f\sqcup (\mathsf{RLD})_{\mathrm{out}} g = (\mathsf{RLD})_{\mathrm{out}}(f\sqcup g)$ for funcoids $latex f$, $latex g$.