Theorem fderivWithin_pow

Modification history