Theorem RootPairing.coreflection_inv

Modification history