Differentiable 49429 19502112 2005-07-24T11:31:27Z Jitse Niesen 14515 move redirect back from [[differentiability class]] to the more basic [[derivative]] #REDIRECT [[derivative]]