Theorem fderiv_pow_ring

Modification history