Theorem RootPairing.reflectionPerm_inv

Modification history