Theorem RootPairing.IsOrthogonal.reflection_apply_right

Modification history