Theorem HasStrictFDerivAt.restrictScalars

Modification history