Theorem CFC.inv_nonneg

Modification history