Theorem HasStrictFDerivAt.congr_fderiv

Modification history