Theorem CFC.nnrpow_three

Modification history