Theorem RootPairing.coreflection_sq

Modification history