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