Corollary 1.7 . [025L]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

Corollary 1.7.

The natural homomorphism $V\to(V^{\vee})^{\vee}$ is an isometry.