Theorem RootPairing.Iic_chainTopCoeff_eq

Modification history