Theorem CFC.rpow_mul_rpow_neg

Modification history