Theorem CFC.rpow_eq_rpow_pi

Modification history