Theorem RootPairing.chainTopCoeff_of_not_linInd

Modification history