OAI/Geometry/Cannon/Energy/ApproxSelfSimilar.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CannonGeometry.ApproxSelfSimilar line 15
2. theorem OAI.CannonRelease.boundary_approx_self_similar line 30
3. def OAI.CannonNet.IsApproximation line 78
4. lemma OAI.CannonNet.exists_scale_below line 84
5. lemma OAI.CannonNet.balls_isApproximation line 100
6. theorem OAI.CannonNet.exists_net_sequence line 132