Theorem DifferentiableOn.restrictScalars

Modification history