ParentFull threadeigenket·Yeah it's an editing error. Looks like originally they wrote the theorem down for R^n and later decided to just stick to R.View on HN