OAI/Analysis/SegmentLenses/
805 declarations, 0 contain sorry, 0 declared as axioms; 35 files
Files
- AtomicBalls.lean 31 declarations
- Averaged.lean 26 declarations
- Basic.lean 52 declarations
- Canonical.lean 29 declarations
- Completed.lean 28 declarations
- Components.lean 27 declarations
- ConeBlocks.lean 20 declarations
- ConeNorms.lean 34 declarations
- Coordinates.lean 13 declarations
- DualSums.lean 21 declarations
- Embeddings.lean 23 declarations
- EndpointBounds.lean 10 declarations
- EndpointLaws.lean 4 declarations
- FiniteLaws.lean 12 declarations
- ForestBlocks.lean 20 declarations
- ForestDual.lean 25 declarations
- GateRecovery.lean 28 declarations
- Gates.lean 14 declarations
- HeadRanges.lean 7 declarations
- HeadTests.lean 11 declarations
- Identifications.lean 37 declarations
- IndexedDual.lean 19 declarations
- IndexedForest.lean 52 declarations
- LawRecovery.lean 31 declarations
- Main.lean 1 declarations
- Obstructions.lean 48 declarations
- Pairing.lean 31 declarations
- Projections.lean 17 declarations
- Radial.lean 15 declarations
- Separated.lean 19 declarations
- Stability.lean 20 declarations
- Subspaces.lean 18 declarations
- Subtrees.lean 18 declarations
- TailBudget.lean 10 declarations
- TreeGeometry.lean 34 declarations