Theorem hasFDerivAt_of_restrictScalars

Modification history