Theorem RootPairing.chainTopCoeff_if_one_zero

Modification history