Theorem RootPairing.chainBotCoeff_add_chainTopCoeff_eq_pairingIn_chainTopIdx

Modification history