Theorem hasDerivAt_id

Modification history