Theorem fderivWithin_pow'

Modification history