OAI/Geometry/UnitDistances/
2297 declarations, 0 contain sorry, 0 declared as axioms; 40 files
Files
- AbsoluteValues.lean 47 declarations
- Basic.lean 55 declarations
- Blocks.lean 49 declarations
- Circles.lean 40 declarations
- Cross.lean 68 declarations
- Cutting.lean 84 declarations
- Derivations.lean 26 declarations
- Entropy.lean 69 declarations
- Extraction.lean 43 declarations
- GenericCurves.lean 53 declarations
- Grid.lean 42 declarations
- HeightTransfer.lean 59 declarations
- Information.lean 89 declarations
- Integration.lean 48 declarations
- Levels.lean 72 declarations
- Loci.lean 53 declarations
- Main.lean 23 declarations
- Obstruction.lean 43 declarations
- Powers.lean 42 declarations
- PredictionBudget.lean 21 declarations
- Predictions.lean 101 declarations
- Preparation.lean 29 declarations
- Profiles.lean 95 declarations
- Quantization.lean 50 declarations
- Radicals.lean 35 declarations
- RareBudget.lean 75 declarations
- RareEvents.lean 48 declarations
- Regularization.lean 40 declarations
- Sampling.lean 62 declarations
- Scale.lean 42 declarations
- Scores.lean 62 declarations
- Sequence.lean 89 declarations
- Slots.lean 71 declarations
- SmallHeight.lean 54 declarations
- States.lean 80 declarations
- Sweep.lean 54 declarations
- Tails.lean 54 declarations
- Transfer.lean 99 declarations
- Valuations.lean 55 declarations
- Wedges.lean 76 declarations