OAI/Geometry/Cannon/Boundary/PolynomialPacking.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CannonRelease.relative_polynomial_packing line 24
2. def OAI.CannonPacking.PolynomialPacking line 95
3. lemma OAI.CannonPacking.indexed_packing line 101
4. theorem OAI.CannonPacking.exists_overlap_bound line 124
5. theorem OAI.CannonNet.exists_finite_separated_net line 161
6. theorem OAI.CannonNet.exists_compact_net line 200