OAI/Geometry/IntegralFillings/Currents/TestBounds.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SharpIntegralFillings.Foundations.boundedLip_of_lipschitz line 34
2. lemma OAI.SharpIntegralFillings.Foundations.IntegerRectifiable.coord_bound line 39
3. lemma OAI.SharpIntegralFillings.Foundations.IntegerRectifiable.test_difference_bound line 61
4. lemma OAI.SharpIntegralFillings.Foundations.lipschitz_pointwise_uniform line 103
5. lemma OAI.SharpIntegralFillings.Foundations.weak_limit_test_difference_bound line 113
6. lemma OAI.SharpIntegralFillings.Foundations.lipschitz_of_pointwise_limit line 141