Theorem fderivWithin_pow_ring'

Modification history