Theorem RootPairing.chainTopCoeff_reflection_perm_left

Modification history