Theorem hasStrictFDerivAt_norm_sq

Modification history