Theorem DifferentiableWithinAt.const_cpow

Modification history