Theorem CFC.rpow_eq_rpow_prod

Modification history