OAI/Geometry/Cannon/Beltrami/
280 declarations, 0 contain sorry, 0 declared as axioms; 12 files
Files
- Axis.lean 49 declarations
- Beltrami.lean 8 declarations
- CauchySymbol.lean 52 declarations
- ContinuousMemLpRestrict.lean 27 declarations
- DirichletPullback.lean 2 declarations
- GlobalMetricWeakMrmt.lean 1 declarations
- Increment.lean 36 declarations
- Mollifier.lean 12 declarations
- MultiplyLp.lean 49 declarations
- RectCrossing.lean 13 declarations
- SideOrientation.lean 5 declarations
- TwoPointNormalize.lean 26 declarations