Theorem RootPairing.posRootForm_posForm_nondegenerate

Modification history