Theorem RootPairing.chainTopCoeff_reflectionPerm_right

Modification history