Theorem fderivWithin_sin

Modification history