Yahoo! I’ve proved this conjecture

Theorem (\mathsf{RLD})_{\mathrm{in}} (g \circ f) = (\mathsf{RLD})_{\mathrm{in}} g \circ (\mathsf{RLD})_{\mathrm{in}} f for every composable funcoids f and g.

See proof in this online article.

Leave a Reply