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.