Theorem fderivWithin_pow_ring

Modification history