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

See proof in this online article.

Leave a Reply

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