Commit 2023-10-16 11:32 979bf9a9
View on Github →doc: Clarify the use case of Function.extend
(#7547)
Confusion was recently expressed so as to how to use Function.extend
. This is an attempt to clear it up.
Also fix the name of Injective.factorsThrough
.