OAI/Geometry/Cannon/Energy/PuncturedBallConnected.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.CannonPlanarNeighborhood.punctured_ball_connected line 38
2. theorem OAI.CannonPlanarNeighborhood.isolated_frontier_forces_punctured_ball line 69