`OAI/Combinatorics/BalancedRyser/`

6143 declarations, 0 contain sorry, 0 declared as axioms; 698 files

Folders

Candidates/ 90 files, 724 declarations
Construction/ 23 files, 238 declarations
Deletion/ 34 files, 354 declarations
Incidence/ 86 files, 800 declarations
Local/ 126 files, 1075 declarations
Probability/ 186 files, 1579 declarations
Profiles/ 70 files, 638 declarations
Selection/ 79 files, 705 declarations

Files

Hypergraph.lean 4 declarations
Main.lean 25 imports, no declarations
Model.lean 8 declarations
Results.lean 18 declarations