OAI/Geometry/Cannon/Flows/
243 declarations, 0 contain sorry, 0 declared as axioms; 23 files
Files
- BoundaryRecordFlow.lean 1 declarations
- CenterNeighborhood.lean 5 declarations
- ContinuousDomain.lean 2 declarations
- Domain.lean 15 declarations
- DyadicBin.lean 19 declarations
- EscapingLevelEnergyObstruction.lean 1 declarations
- FarDiam.lean 2 declarations
- FlowPaid.lean 2 declarations
- FlowPatternSetup.lean 5 declarations
- FlowPuncture.lean 5 declarations
- FlowSetup.lean 2 declarations
- GoodCandidates.lean 5 declarations
- IntervalAvoidingShortRange.lean 12 declarations
- Lower.lean 14 declarations
- NearProbabilityBound.lean 5 declarations
- NoVanishingLocalMesh.lean 1 declarations
- Node.lean 35 declarations
- NormalizedComparison.lean 2 declarations
- Oscillation.lean 18 declarations
- OscillationMonoRange.lean 1 declarations
- State.lean 38 declarations
- Subdivision.lean 27 declarations
- WeightedOscillation.lean 26 declarations