FormalConjecturesForMathlib/Combinatorics/Hypergraph/
69 declarations, 0 contain sorry, 0 declared as axioms; 4 files
Files
- Basic.lean 10 declarations
- Extremal.lean 10 declarations
- Finite.lean 33 declarations
- Uniform.lean 16 declarations