Theorem fderiv_pow_ring'

Modification history