Theorem RootPairing.chainBotCoeff_if_one_zero

Modification history