Theorem RootPairing.reflection_perm_inv

Modification history