OAI/Geometry/Cannon/ScalarLimits/UniformlyImage.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CannonComparison.uniformly_on_image line 30
2. theorem OAI.CannonComparison.fixed_transform_comparison line 35
3. theorem OAI.CannonComparison.magnified_transform_comparison line 84
4. lemma OAI.CannonComparison.nonconstantAt_pullback line 183
5. theorem OAI.CannonComparison.all_two_transform_comparison line 189
6. theorem OAI.CannonRelease.boundary_holder_scalar_impossible line 235