Theorem RootPairing.chainBotCoeff_mul_chainTopCoeff.isNotG2

Modification history