FormalConjectures/Arxiv/0911.2077/
1 declarations, 1 contain sorry, 0 declared as axioms; 1 files
Files
- Conjecture6_3.lean 1 declarations
FormalConjectures/Arxiv/0911.2077/1 declarations, 1 contain sorry, 0 declared as axioms; 1 files