Theorem RootPairing.chainTopCoeff_reflection_perm_right

Modification history