nForum - Discussion Feed (chain rule)2024-03-29T12:39:38+00:00https://nforum.ncatlab.org/
Lussumo Vanilla & Feed Publisher
Richard Williamson comments on "chain rule" (72807)https://nforum.ncatlab.org/discussion/8987/?Focus=72807#Comment_728072018-10-15T08:53:08+00:002024-03-29T12:39:38+00:00Richard Williamsonhttps://nforum.ncatlab.org/account/822/
Just linking for future reference to the other thread mentioned in #2.
Just linking for future reference to the other thread mentioned in #2.
]]>
Todd_Trimble comments on "chain rule" (72800)https://nforum.ncatlab.org/discussion/8987/?Focus=72800#Comment_728002018-10-14T23:25:26+00:002024-03-29T12:39:38+00:00Todd_Trimblehttps://nforum.ncatlab.org/account/24/
Added an SDG-based algebraic proof for formal power series, also discussed in another thread.
diff, v17, current
Added an SDG-based algebraic proof for formal power series, also discussed in another thread.
]]>
Urs comments on "chain rule" (71701)https://nforum.ncatlab.org/discussion/8987/?Focus=71701#Comment_717012018-09-14T17:07:49+00:002024-03-29T12:39:38+00:00Urshttps://nforum.ncatlab.org/account/4/
added pointer to Lemma 3.5 in Felix’s thesis
diff, v15, current