FormalConjecturesForMathlib/Combinatorics/SetFamily/
25 declarations, 0 contain sorry, 0 declared as axioms; 4 files
Files
- PropertyB.lean 1 declarations
- Sunflower.lean 6 declarations
- UnionFree.lean 2 declarations
- VCDim.lean 16 declarations