Theorem RootPairing.IsOrthogonal.coreflection_apply_left

Modification history