Theorem RootPairing.RootPositiveForm.rootLength_pos

Modification history