Theorem differentiableAt_iff_restrictScalars

Modification history