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-08T14:06:18Z
Project
3de6759
Refresh Noperthedron upstream
Lean
leanprover/lean4:v4.32.0-rc1
VersoBlueprint
ef4746c
Upstream
a1328e4
clean up Symmetry.lean
Mathlib
ba1e3bb0bf5c36d34a9d7e0b57ca95e8948f18bc@ba1e3bb0bf5c
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
→