Theorem deriv_pow_field

Modification history