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.

Estimated changes