FormalConjectures/Mathoverflow/
89 declarations, 28 contain sorry, 0 declared as axioms; 13 files
Files
- 10799.lean 20 declarations
- 17560.lean 3 declarations
- 1973.lean 2 declarations
- 21003.lean 1 declarations
- 235893.lean 9 declarations
- 31809.lean 1 declarations
- 339137.lean 3 declarations
- 34145.lean 18 declarations
- 347178.lean 3 declarations
- 434111.lean 4 declarations
- 486451.lean 2 declarations
- 507128.lean 1 declarations
- 75792.lean 22 declarations