OAI/Geometry/Cannon/ScalarLimits/
93 declarations, 0 contain sorry, 0 declared as axioms; 18 files
Files
- BoundaryRecordScalarLimit.lean 1 declarations
- CompactVariationRegion.lean 2 declarations
- ConnectedLimit.lean 14 declarations
- Dirac.lean 7 declarations
- EscapingLevelsAlong.lean 3 declarations
- Exhaustion.lean 7 declarations
- InteriorScalar.lean 5 declarations
- IntervalAvoiding.lean 2 declarations
- LaterRecord.lean 4 declarations
- LocalOscillation.lean 1 declarations
- NormalizedLevelsEscape.lean 1 declarations
- OrderedVariationPath.lean 1 declarations
- Osc.lean 12 declarations
- OscillationPairwise.lean 5 declarations
- ReciprocalPowLog.lean 2 declarations
- TransformedScalarEnergyConstant.lean 2 declarations
- UniformlyImage.lean 6 declarations
- Words.lean 18 declarations