OAI/Analysis/ForestSpace/
462 declarations, 0 contain sorry, 0 declared as axioms; 20 files
Files
- Completion.lean 42 declarations
- Components.lean 24 declarations
- Coordinates.lean 12 declarations
- Diamonds.lean 44 declarations
- Distortion.lean 6 declarations
- Exhaustions.lean 2 declarations
- FiniteGeometry.lean 45 declarations
- FullDual.lean 16 declarations
- Lens.lean 7 declarations
- Main.lean 3 declarations
- Moduli.lean 13 declarations
- ModulusProofs.lean 12 declarations
- Norm.lean 33 declarations
- Paired.lean 24 declarations
- Polar.lean 22 declarations
- Projections.lean 42 declarations
- Reflexivity.lean 27 declarations
- Renorming.lean 21 declarations
- Segments.lean 30 declarations
- Trees.lean 37 declarations