Theorem RootPairing.RootPositiveForm.isSymm_posForm

Modification history