Theorem DifferentiableAt.restrictScalars

Modification history