FormalConjectures/Kourovka/
20 declarations, 10 contain sorry, 0 declared as axioms; 7 files
Files
- 19_25.lean 1 declarations
- 1_35c.lean 3 declarations
- 1_40.lean 4 declarations
- 1_74.lean 4 declarations
- 20_76.lean 1 declarations
- 21_149.lean 5 declarations
- 8_8.lean 2 declarations