OAI/Geometry/Cannon/Boundary/BoundaryUniformRingPacking.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Uniform radius control for the boundary circle packings.

  1. theorem OAI.CannonRelease.boundary_uniform_ring_packing line 19