OAI/Combinatorics/Sidorenko/
2280 declarations, 0 contain sorry, 0 declared as axioms; 35 files
Files
- Activation.lean 192 declarations
- Basic.lean 7 declarations
- Charts.lean 51 declarations
- Coefficients.lean 99 declarations
- Coercivity.lean 116 declarations
- Configurations.lean 45 declarations
- Dilution.lean 16 declarations
- Discriminant.lean 74 declarations
- Exposure.lean 105 declarations
- FormGluing.lean 44 declarations
- GlobalMoments.lean 95 declarations
- Grassmann.lean 22 declarations
- Lagrangian.lean 47 declarations
- LocalMoments.lean 71 declarations
- Monomials.lean 52 declarations
- Normalization.lean 28 declarations
- Nullity.lean 71 declarations
- OrbitBounds.lean 41 declarations
- Orbits.lean 47 declarations
- PairBounds.lean 45 declarations
- Pinning.lean 24 declarations
- Planted.lean 45 declarations
- Projections.lean 41 declarations
- RandomHost.lean 42 declarations
- Reduction.lean 55 declarations
- Refinement.lean 316 declarations
- Restrictions.lean 40 declarations
- SignMoments.lean 41 declarations
- Signs.lean 74 declarations
- Spans.lean 78 declarations
- SubspaceCounts.lean 45 declarations
- Symmetrization.lean 34 declarations
- Tail.lean 92 declarations
- TripleRanks.lean 34 declarations
- Types.lean 51 declarations