OAI/Combinatorics/ThinTrees/Metric/
440 declarations, 0 contain sorry, 0 declared as axioms; 16 files
Files
- AssignedCharging.lean 153 declarations
- AssignedGeometry.lean 6 declarations
- BagExtraction.lean 8 declarations
- CenteredMatrices.lean 36 declarations
- CompactCharging.lean 57 declarations
- CompactDuality.lean 10 declarations
- ConeRepresentation.lean 34 declarations
- ConicDuality.lean 10 declarations
- Hierarchy.lean 5 declarations
- MatrixBound.lean 18 declarations
- Numerator.lean 6 declarations
- Profiles.lean 47 declarations
- Response.lean 8 declarations
- ScaleCharging.lean 23 declarations
- ShellCharging.lean 9 declarations
- SpectralMetricBridge.lean 10 declarations