OAI/Analysis/SignedDisk/
1292 declarations, 0 contain sorry, 0 declared as axioms; 39 files
Files
- ActualLabels1.lean 39 declarations
- ActualMarkTrees1.lean 35 declarations
- ActualMarkTrees2.lean 20 declarations
- AffineDensities1.lean 51 declarations
- CommonPrices1.lean 35 declarations
- CommonPrices2.lean 41 declarations
- CommonPrices3.lean 31 declarations
- CommonPrices4.lean 11 declarations
- DirectionNeighbors1.lean 43 declarations
- DiskGeometry1.lean 22 declarations
- DiskGeometry2.lean 37 declarations
- DiskKernels1.lean 42 declarations
- DiskMaximalTools1.lean 23 declarations
- DiskMaximalTools2.lean 29 declarations
- DiskMoments1.lean 42 declarations
- DiskScales1.lean 19 declarations
- DiskScales2.lean 18 declarations
- DiskScales3.lean 19 declarations
- DyadicHats1.lean 47 declarations
- DyadicHats2.lean 45 declarations
- DyadicHats3.lean 41 declarations
- FiniteLabels1.lean 43 declarations
- FiniteLabels2.lean 49 declarations
- IntrinsicMarks1.lean 34 declarations
- LabelSwitches1.lean 22 declarations
- LocalCancellation1.lean 38 declarations
- LocalCancellation2.lean 33 declarations
- LocalCancellation3.lean 16 declarations
- LocalCancellation4.lean 18 declarations
- LocalCancellation5.lean 24 declarations
- Main.lean 29 declarations
- Model.lean 40 declarations
- PhysicalCells1.lean 35 declarations
- PlanePotential1.lean 30 declarations
- PlanePotential2.lean 43 declarations
- ScalarCancellation1.lean 45 declarations
- SignedRuns1.lean 34 declarations
- SignedRuns2.lean 33 declarations
- VectorRefinement1.lean 36 declarations