Theorem RootPairing.Equiv.reflection_inv

Modification history