Theorem RootPairing.reflection_inv

Modification history