Theorem CFC.zero_rpow

Modification history