Theorem RootPairing.RootPositiveForm.rootLength_le_of_pairingIn_eq

Modification history