Theorem DifferentiableWithinAt.restrictScalars

Modification history