OAI/Geometry/Cannon/Modulus/
210 declarations, 0 contain sorry, 0 declared as axioms; 31 files
Files
- Ambient.lean 13 declarations
- AnnularCutoffEnergy.lean 1 declarations
- AnnularCutoffEnergy2.lean 2 declarations
- AnnularNet.lean 1 declarations
- AnnularPatternDistance.lean 4 declarations
- BinNearCard.lean 14 declarations
- BoundaryNormalizedAnnularCarriers.lean 13 declarations
- CarrierHomeomorph.lean 3 declarations
- Clip.lean 21 declarations
- ClippedRadialEnergy.lean 2 declarations
- ClosedAnnulus.lean 9 declarations
- ClosedCoverReflTrans.lean 4 declarations
- CompleteSquare.lean 2 declarations
- Cost.lean 6 declarations
- GeometricAnnularCompactTails.lean 1 declarations
- IndicesPreimageImage.lean 4 declarations
- LocalSubdisk.lean 13 declarations
- ModulusEnergy.lean 4 declarations
- ModulusFamilyMono.lean 3 declarations
- ModulusSerialBound.lean 2 declarations
- PathCellIndices.lean 11 declarations
- PositiveCapacityTransitions.lean 2 declarations
- PreimageCarrierPostcompose.lean 2 declarations
- Quad.lean 19 declarations
- RadialCellEnergy.lean 13 declarations
- ScalarAnnularConstant.lean 1 declarations
- SqDiffNormDiff.lean 6 declarations
- TangentDiskMeet.lean 3 declarations
- TracePreconnected.lean 3 declarations
- UniformOriginalChargingCounts.lean 1 declarations
- Weights.lean 27 declarations