`OAI/Combinatorics/Ryser/`

1878 declarations, 0 contain sorry, 0 declared as axioms; 221 files

Folders

Construction/ 62 files, 554 declarations
Domination/ 9 files, 40 declarations
Field/ 4 files, 26 declarations
Geometry/ 12 files, 197 declarations
Hypergraph/ 5 files, 55 declarations
Incidence/ 38 files, 273 declarations
LineCover/ 45 files, 355 declarations
Probability/ 8 files, 107 declarations
Selection/ 36 files, 260 declarations

Files

Main.lean 1 import, no declarations
OddExtensions.lean 11 declarations