Theorem RootPairing.IsOrthogonal.reflection_apply_left

Modification history