Theorem RootPairing.chainTopCoeff_of_not_linearIndependent

Modification history