OAI/Geometry/Cannon/Energy/AffineRangeBounded.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CannonApprox.affine_range_bounded line 25
2. lemma OAI.CannonApprox.oscillation_affine_le line 39
3. lemma OAI.CannonApprox.meshEnergy_affine_le line 60
4. lemma OAI.CannonApprox.meshEnergy_affine_tendsto line 76
5. lemma OAI.CannonApprox.uniformly_affine line 90