Theorem CFC.rpow_neg_mul_rpow

Modification history