OAI/Analysis/CircleDomains/Topology/CompactCoordinateTest.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

An axial coordinate on a bounded sphere complement can be represented by a smooth compact planar test.

  1. theorem OAI.CircleDomainRigidity.exists_smooth_compact_coordinate_test line 15