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-09-30T10:58:28Z
Project
b6177de
Merge pull request #13 from ejgallego/chore/lean-4-34-0
Lean
leanprover/lean4:v4.34.0
VersoBlueprint
4848fca
Upstream
c883154
[Tightening] simplifications
Mathlib
v4.34.0@5ed296525643
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
→