Theorems
Number of surjective functions
Derivative of composition with exponential function
Converting finite differences to derivatives
© 1998-2013 Wolfram Research, Inc.