Def HasStrictDerivAt

Modification history