FormalConjectures/Arxiv/2602.05192/
11 declarations, 5 contain sorry, 0 declared as axioms; 2 files
Files
- FirstProof4.lean 9 declarations
- FirstProof6.lean 2 declarations
FormalConjectures/Arxiv/2602.05192/11 declarations, 5 contain sorry, 0 declared as axioms; 2 files