Theorem RootPairing.chainTopCoeff_eq_sSup

Modification history