Theorem CFC.rpow_def

Modification history