OAI/Geometry/Cannon/Energy/OpenPreconnectedRemovePoint.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.CannonPlanarNeighborhood.open_preconnected_remove_point line 55
2. theorem OAI.CannonPlanarNeighborhood.open_preconnected_remove_finite line 88