Theorem CFC.one_rpow

Modification history