Theorem CFC.rpow_nonneg

Modification history