FormalConjectures/Arxiv/math.0110202/
3 declarations, 2 contain sorry, 0 declared as axioms; 1 files
Files
- BanachMazurRotation.lean 3 declarations
FormalConjectures/Arxiv/math.0110202/3 declarations, 2 contain sorry, 0 declared as axioms; 1 files