Theorem hasStrictDerivAt_id

Modification history