Theorem RootPairing.chainBotCoeff_of_add

Modification history