Theorem RootPairing.chainBotCoeff_reflection_perm_right

Modification history