Theorem CFC.negPart_neg

Modification history