Theorem RootPairing.reflection_sq

Modification history