OAI/Combinatorics/KMedian/Projection/
254 declarations, 0 contain sorry, 0 declared as axioms; 28 files
Files
- Bound.lean 11 declarations
- CSPProjection.lean 10 declarations
- CodingLaws.lean 3 declarations
- Contraction.lean 6 declarations
- Expansion.lean 8 declarations
- IncidenceExpansion.lean 4 declarations
- IncidenceOperator.lean 13 declarations
- Input.lean 7 declarations
- MassNormalize.lean 5 declarations
- Norm.lean 12 declarations
- Operator.lean 18 declarations
- PowerTable.lean 6 declarations
- Product.lean 9 declarations
- ProductTable.lean 5 declarations
- Promises.lean 4 declarations
- RegularTable.lean 15 declarations
- Reindex.lean 5 declarations
- RepairProgram.lean 13 declarations
- Repeat.lean 10 declarations
- Rounding.lean 9 declarations
- RowsBuild.lean 1 declarations
- Seed.lean 30 declarations
- SeedCombinators.lean 6 declarations
- SeedSound.lean 8 declarations
- SeedTables.lean 12 declarations
- Tables.lean 14 declarations
- Tensor.lean 2 declarations
- ToInput.lean 8 declarations