Rupert Counterexample
Rupert Counterexample
Table of Contents
1.
Introduction
2.
The Noperthedron
3.
Bounding Rotations
4.
Preliminaries
5.
The Global Theorem
6.
The Local Theorem
7.
Rational Versions
8.
Computational Step
9.
Main Theorems
Dependency Graph
Blueprint Summary
Blueprint Bibliography
1. Introduction
→
Noperthedron
🔗
Compiled
2026-08-21T02:32:36Z
Project
58e5b7e
fix: align rational approximation links with upstream
Lean
leanprover/lean4:v4.33.0
VersoBlueprint
946e971
Upstream
64d8c90
blueprint: brace the Q subscript in M_{\Q}
Mathlib
db584cd6d46c92f209a44c0f1c829460d327499d@db584cd6d46c
David Renshaw
Jason Reed
Contents
1.
Introduction
2.
The Noperthedron
3.
Bounding Rotations
4.
Preliminaries
5.
The Global Theorem
6.
The Local Theorem
7.
Rational Versions
8.
Computational Step
9.
Main Theorems
Dependency Graph
Blueprint Summary
Blueprint Bibliography
1. Introduction
→