Theorem RootPairing.chainBotCoeff_reflection_perm_left

Modification history