Theorem CFC.posPart_neg

Modification history