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