Theorem RootPairing.chainTopCoeff_reflectionPerm_left

Modification history