Theorem RootPairing.IsOrthogonal.coreflection_apply_right

Modification history