Theorem CFC.nnrpow_nonneg

Modification history