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-07-01T16:00:49Z
Project
023ba90
Refresh VersoBlueprint v4.31.0 pin
Lean
leanprover/lean4:v4.31.0
VersoBlueprint
8c3a2a0
Upstream
a79fcde
update to lean-v4.31.0
Mathlib
v4.31.0@fabf563a7c95
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
→