OAI/Combinatorics/Coboundary/
1014 declarations, 0 contain sorry, 0 declared as axioms; 15 files
Files
- Averaging.lean 43 declarations
- Chains.lean 87 declarations
- Complex.lean 80 declarations
- Cones.lean 94 declarations
- Cosets.lean 54 declarations
- Expansion.lean 64 declarations
- FatLadders.lean 83 declarations
- Joins.lean 63 declarations
- LinkSpectrum.lean 140 declarations
- Links.lean 95 declarations
- Main.lean 5 declarations
- Mixing.lean 87 declarations
- Realization.lean 75 declarations
- Skeleton.lean 17 declarations
- Spectral.lean 27 declarations