Theorem RootPairing.reflectionPerm_involutive

Modification history