Theorem CFC.rpow_one

Modification history