Theorem RootPairing.zero_le_posForm

Modification history