Weyl inferred closedness from the metric structure (constant curvature), not merely from visual embe...
This proposition has not been edited since the history system was added.