FormalConjecturesForMathlib/Combinatorics/Additive/
57 declarations, 0 contain sorry, 0 declared as axioms; 6 files
Files
- Basis.lean 26 declarations
- Convolution.lean 4 declarations
- Coset.lean 8 declarations
- DifferenceBasis.lean 5 declarations
- RestrictedSumset.lean 1 declarations
- VCDim.lean 13 declarations