Theorem RootPairing.RootPositiveForm.rootLength_lt_of_pairingIn_nmem

Modification history