Theorem CFC.posPart_sub_negPart

Modification history