FormalConjectures/GreensOpenProblems/
351 declarations, 227 contain sorry, 0 declared as axioms; 57 files
Files
- 1.lean 1 declarations
- 12.lean 1 declarations
- 14.lean 60 declarations
- 15.lean 2 declarations
- 16.lean 9 declarations
- 18.lean 4 declarations
- 19.lean 7 declarations
- 2.lean 6 declarations
- 21.lean 12 declarations
- 22.lean 7 declarations
- 23.lean 1 declarations
- 24.lean 7 declarations
- 25.lean 10 declarations
- 26.lean 6 declarations
- 27.lean 11 declarations
- 28.lean 3 declarations
- 29.lean 2 declarations
- 3.lean 1 declarations
- 31.lean 20 declarations
- 32.lean 15 declarations
- 33.lean 2 declarations
- 35.lean 10 declarations
- 36.lean 4 declarations
- 37.lean 7 declarations
- 38.lean 13 declarations
- 39.lean 12 declarations
- 4.lean 4 declarations
- 40.lean 19 declarations
- 41.lean 8 declarations
- 42.lean 8 declarations
- 44.lean 2 declarations
- 45.lean 1 declarations
- 46.lean 9 declarations
- 47.lean 2 declarations
- 49.lean 1 declarations
- 5.lean 4 declarations
- 50.lean 1 declarations
- 51.lean 8 declarations
- 52.lean 2 declarations
- 53.lean 1 declarations
- 54.lean 3 declarations
- 57.lean 10 declarations
- 58.lean 1 declarations
- 60.lean 1 declarations
- 61.lean 1 declarations
- 62.lean 1 declarations
- 63.lean 0 declarations
- 64.lean 5 declarations
- 66.lean 3 declarations
- 7.lean 1 declarations
- 72.lean 9 declarations
- 77.lean 1 declarations
- 81.lean 0 declarations
- 82.lean 4 declarations
- 85.lean 2 declarations
- 9.lean 4 declarations
- 94.lean 2 declarations