Theorem RootPairing.isFixedPt_reflection_of_isOrthogonal

Modification history