Theorem RootPairing.Iic_chainBotCoeff_eq

Modification history