Theorem CFC.rpow_zero

Modification history